Publication:2771062
From MaRDI portal
zbMath0986.68522MaRDI QIDQ2771062
Moshe Y. Vardi, Gila Kamhi, Kathi Fisler, Zi-Jiang Yang, Ranan Fraer
Publication date: 14 February 2002
68W30: Symbolic computation and algebraic computation
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Automata-Theoretic Model Checking Revisited, Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking, Towards a grand unification of Büchi complementation constructions, Linear temporal logic symbolic model checking, Symbolic synthesis of masking fault-tolerant distributed programs, On algorithmic analysis of transcriptional regulation by LTL model checking, GSTE is partitioned model checking, Compositional SCC analysis for language emptiness, From complementation to certification, Improved Distributed Algorithms for SCC Decomposition, Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE