Specifying and verifying reactive systems in a multi-language environment

DOI10.1016/S1571-0661(04)00330-5zbMath1268.68115OpenAlexW2096230567MaRDI QIDQ2841282

Monica Müllerburg, G. Michele Pinna, A. Merceron

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)

Uses Software

• LUSTRE
• Esterel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Esterel synchronous programming language: Design, semantics, implementation
• Automatic verification of finite-state concurrent systems using temporal logic specifications

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