Formula based abstractions of transition systems for real-time model checking

DOI10.1007/3-540-48119-2_18MaRDI QIDQ4493883zbMATH OpenFDO

Authors Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Publication date 1999

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

Full work available at URL https://doi.org/10.1007/3-540-48119-2_18

zbMATH Keywords

concurrent systemstransition systems

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 176728
• Symbolic model checking for real-time systems
• Modular abstractions for verifying real-time distributed systems

This page was built for publication: Formula based abstractions of transition systems for real-time model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4493883)