1 paper
Gérard Berry, Lionel Rieg
This paper focuses on formally specifying and verifying the chain of formal semantics of the Esterel synchronous programming language using the Coq proof assistant. In particular,…