Computer Aided Verification

DOI10.1007/b11831zbMath1278.68155OpenAlexW1571340194MaRDI QIDQ5900704

Kim Guldstrand Larsen, Gerd Behrmann, 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 analysistimed automata model checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Model Checking Real-Time Systems ⋮ Improving Search Order for Reachability Testing in Timed Automata ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ The sweep-line state space exploration method ⋮ Hierarchical Adaptive State Space Caching Based on Level Sampling

Uses Software

• Uppaal

This page was built for publication: Computer Aided Verification