Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification

DOI10.1007/BFb0023456zbMath1498.68156MaRDI QIDQ5047167

Zohar Manna, Arjun Kapur, Luca de Alfaro

Publication date: 9 November 2022

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Hybrid diagrams

Cites Work

• The algorithmic analysis of hybrid systems
• Completing the temporal picture
• Using mappings to prove timing properties
• Models for reactivity

This page was built for publication: Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification