Computer Aided Verification
From MaRDI portal
Publication:5312899
DOI10.1007/b98490zbMath1103.68072OpenAlexW4298302743MaRDI QIDQ5312899
Sasha Rubin, Moshe Y. Vardi, Doron Bustan
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98490
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
On the power of finite ambiguity in Büchi complementation ⋮ Minimal counterexamples for linear-time probabilistic verification ⋮ Markov chains and unambiguous automata ⋮ Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On Decision Problems for Probabilistic Büchi Automata ⋮ Model Checking Omega-regular Properties for Quantum Markov Chains ⋮ A note on the attractor-property of infinite-state Markov chains ⋮ Robustly complete finite-state abstractions for verification of stochastic systems