Spatio-temporal Model Checking for Mobile Real-Time Systems

DOI10.1007/11921240_24zbMath1168.68427OpenAlexW1592285529MaRDI QIDQ3525160

No author found.

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_24

zbMATH Keywords

real-time systemsmodel checkingtemporal logicmobile systemsspatial logicDuration Calculus

Mathematics Subject Classification ID

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

Related Items (2)

Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries ⋮ Decidability of a Hybrid Duration Calculus

Uses Software

• SLMC
• Uppaal
• MONA

This page was built for publication: Spatio-temporal Model Checking for Mobile Real-Time Systems