scientific article

zbMath0986.68522MaRDI QIDQ2771062

Moshe Y. Vardi, Gila Kamhi, Kathi Fisler, Zi-Jiang Yang, Ranan Fraer

Publication date: 14 February 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model checkingfair-cycle detection

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

GSTE is partitioned model checking, Symbolic synthesis of masking fault-tolerant distributed programs, Towards a grand unification of Büchi complementation constructions, Linear temporal logic symbolic model checking, On algorithmic analysis of transcriptional regulation by LTL model checking, Compositional SCC analysis for language emptiness, Automata-Theoretic Model Checking Revisited, Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking, From complementation to certification, Improved Distributed Algorithms for SCC Decomposition, Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE