Modular verification of ARGOS programs

MaRDI QIDQ4494116zbMATH OpenFDO

Authors Agathe Merceron, G. Michele Pinna

Publication date 10 August 2000

zbMATH Keywords

reactive real-time systems

Mathematics Subject Classification ID

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

Recommendations

• Modular Verification of Recursive Programs
• Modular verification of higher-order functional programs
• scientific article; zbMATH DE number 176727
• Modular verification of programs with effects and effects handlers
• Modular development of certified program verifiers with a proof assistant,
• Modular specification and verification of object-oriented programs

Cited in

(5)

• Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
• scientific article; zbMATH DE number 1630131 (Why is no real title available?)
• Specifying and verifying reactive systems in a multi-language environment
• Argos: an automaton-based synchronous language
• Context-Sensitive Multivariant Assertion Checking in Modular Programs

This page was built for publication: Modular verification of ARGOS programs

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