Refinement-Based Verification of Interactive Real-Time Systems

DOI10.1016/j.entcs.2008.06.007zbMath1283.68214OpenAlexW2093121316MaRDI QIDQ5403466

Maria Spichkova

Publication date: 26 March 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.06.007

zbMATH Keywords

verificationreal-time systemsformal specificationrefinementautomotive gateway

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Isabelle/HOL
• Isabelle/Isar
• Isar

Cites Work

• Isabelle/HOL. A proof assistant for higher-order logic
• Specification and Development of Interactive Systems
• The B-Book
• Compositional refinement of interactive systems

This page was built for publication: Refinement-Based Verification of Interactive Real-Time Systems