Computer Aided Verification

DOI10.1007/b11831zbMath1278.68155MaRDI QIDQ5900704

Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek

Publication date: 20 April 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b11831

zbMATH Keywords

static analysis; timed automata model checking

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

The sweep-line state space exploration method, Hierarchical Adaptive State Space Caching Based on Level Sampling

Uses Software

• Uppaal