Speculative Image Computation for Distributed Symbolic Reachability Analysis

DOI10.1093/LOGCOM/EXP005zbMath1213.68369OpenAlexW2019496807MaRDI QIDQ3069998

Ming-Ying Chung, Gianfranco Ciardo

Publication date: 2 February 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.3549

zbMATH Keywords

distributed computingreachability analysisimage computationdecision diagrams

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• BDDNOW

This page was built for publication: Speculative Image Computation for Distributed Symbolic Reachability Analysis