Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time
From MaRDI portal
Publication:5505609
DOI10.1007/978-3-540-85762-4_20zbMath1161.68580OpenAlexW1841388400MaRDI QIDQ5505609
Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
Publication date: 27 January 2009
Published in: Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85762-4_20
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Uses Software
Cites Work