Publication:4551134
From MaRDI portal
zbMath0991.68044MaRDI QIDQ4551134
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020053
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
From Monadic Logic to PSL, Automata-Theoretic Model Checking Revisited, From LTL to Symbolically Represented Deterministic Automata, Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking, GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic, Analog property checkers: a DDR2 case study, Symbolic bounded synthesis, Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic, Verifying a signature architecture: a comparative case study, Tool support for learning Büchi automata and linear temporal logic, More efficient on-the-fly LTL verification with Tarjan's algorithm, Büchi Store: An Open Repository of Büchi Automata, Unbeast: Symbolic Bounded Synthesis, Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL, On-the-Fly Stuttering in the Construction of Deterministic ω-Automata, Mechanizing the Powerset Construction for Restricted Classes of ω-Automata, From Philosophical to Industrial Logics, Model Checking LTL Formulae in RAISE with FDR, On-the-fly Emptiness Check of Transition-Based Streett Automata
Uses Software