Hybrid verifications of reactive programs

DOI10.1007/S001650050042MaRDI QIDQ1974481zbMATH OpenOpenAlexFDO

Authors Olivier Roux, Vlad Rusu, Franck Cassez

Publication date 7 May 2000

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001650050042

zbMATH Keywords

ELECTREhybrid systemsreactive systems

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verification and synthesis of reactive programs
• Towards the hierarchical verification of reactive systems
• Automated verification of reactive and concurrent programs by calculation
• Calculational verification of reactive programs with reactive relations and Kleene algebra
• Specifying and verifying reactive systems in a multi-language environment
• Verification of reactive systems. Formal methods and algorithms.
• Abstraction-based verification of infinite-state reactive modules

Cited in

(2)

• scientific article; zbMATH DE number 1670753 (Why is no real title available?)
• Specifying and verifying reactive systems in a multi-language environment

This page was built for publication: Hybrid verifications of reactive programs

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