Towards a Theory of Time-Bounded Verification

DOI10.1007/978-3-642-14162-1_3zbMath1288.68170OpenAlexW1496066518MaRDI QIDQ3587425

Joël Ouaknine, James Worrell

Publication date: 7 September 2010

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14162-1_3

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Time-Bounded Verification of CTMCs against Real-Time Specifications ⋮ Bounded variability of metric temporal logic ⋮ On Reachability for Hybrid Automata over Bounded Time ⋮ Unnamed Item ⋮ Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language

This page was built for publication: Towards a Theory of Time-Bounded Verification