Model Checking Duration Calculus: A Practical Approach
From MaRDI portal
Publication:3525159
DOI10.1007/11921240_23zbMath1168.68425OpenAlexW1776461543MaRDI QIDQ3525159
Andrey Rybalchenko, Johannes Faber, Roland Meyer
Publication date: 11 September 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11921240_23
Related Items
Constraint solving for interpolation ⋮ Model checking duration calculus: a practical approach ⋮ Verification of Linear Duration Invariants by Model Checking CTL Properties ⋮ Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems ⋮ Automatic Verification of Combined Specifications: An Overview