Specifying and verifying reactive systems in a multi-language environment

DOI10.1016/S1571-0661(04)00330-5MaRDI QIDQ2841282zbMATH OpenOpenAlexFDO

Authors Agathe Merceron, Monica Müllerburg, G. Michele Pinna

Publication date 24 July 2013

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

Full work available at URL https://doi.org/10.1016/s1571-0661(04)00330-5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1361139
• Hybrid verifications of reactive programs
• scientific article; zbMATH DE number 3982506
• scientific article; zbMATH DE number 1487634
• scientific article; zbMATH DE number 526071

Cites work

• Automatic verification of finite-state concurrent systems using temporal logic specifications
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• scientific article; zbMATH DE number 1487634 (Why is no real title available?)
• The Esterel synchronous programming language: Design, semantics, implementation

Cited in

(3)

• Hybrid verifications of reactive programs
• scientific article; zbMATH DE number 1670753 (Why is no real title available?)
• Barbed Semantics for Open Reactive Systems

Describes a project that uses

Uses Software

• LUSTRE
• Esterel

This page was built for publication: Specifying and verifying reactive systems in a multi-language environment

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