scientific article
From MaRDI portal
zbMath0765.68120MaRDI QIDQ4037388
Mihalis Yannakakis, Pierre Wolper, Moshe Y. Vardi, Costas Courcoubetis
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Model checking \(\omega \)-regular properties with decoupled search, Applicability of fair simulation, A space-efficient simulation algorithm on probabilistic automata, Automata-driven partial order reduction and guided search for LTL model checking, LTL Parameter Synthesis of Parametric Timed Automata, Correcting a Space-Efficient Simulation Algorithm, On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties, A Space-Efficient Probabilistic Simulation Algorithm, Component-wise incremental LTL model checking, From Philosophical to Industrial Logics, From Monadic Logic to PSL, Model checking for hybrid branching-time logics, Using partial orders for the efficient verification of deadlock freedom and safety properties, More efficient on-the-fly LTL verification with Tarjan's algorithm