Syntax-driven reachable state space construction of synchronous reactive programs

DOI10.1007/11513988_22MaRDI QIDQ5716561zbMATH OpenOpenAlexFDO

Authors Eric Vecchié, Robert de Simone

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The Esterel synchronous programming language: Design, semantics, implementation
• scientific article; zbMATH DE number 4082959
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1435985
• Syntactic program transformations for automatic abstraction

Cited in

(1)

• Automated Technology for Verification and Analysis

This page was built for publication: Syntax-driven reachable state space construction of synchronous reactive programs

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