Formal Modeling and Analysis of Timed Systems
From MaRDI portal
Publication:5717501
DOI10.1007/b12025zbMath1099.68657MaRDI QIDQ5717501
Martijn Hendriks, Peter Niebert, Gerd Behrmann, Frits W. Vaandrager, Kim Guldstrand Larsen
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12025
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Towards Efficient Verification of Systems with Dynamic Process Creation, A lazy approach to symmetry reduction, Efficient approximate verification of B and Z models via symmetry markers, Symmetry and partial order reduction techniques in model checking Rebeca, How to stop time stopping, Model Checking Real-Time Systems
Uses Software