scientific article
From MaRDI portal
Publication:3408150
zbMath1273.68224MaRDI QIDQ3408150
Nasser Saheb, Grégoire Sutre, Jean-Michel Couvreur
Publication date: 24 February 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (9)
From LTL to unambiguous Büchi automata via disambiguation of alternating automata ⋮ Minimal counterexamples for linear-time probabilistic verification ⋮ Model checking differentially private properties ⋮ Markov chains and unambiguous automata ⋮ On relative and probabilistic finite counterability ⋮ Model Checking Quantitative Linear Time Logic ⋮ Two Variable vs. Linear Temporal Logic in Model Checking and Games ⋮ LTL Model Checking of Time-Inhomogeneous Markov Chains ⋮ Verification of probabilistic systems with faulty communication
This page was built for publication: