Polyhedral Analysis for Synchronous Languages

This publication has 16 references indexed in Scilit:

• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The tool Kronos
  Published by Springer Nature ,1996
• Formal verification of Signal programs: Application to a power transformer station controller
  Published by Springer Nature ,1996
• Synchronous Programming of Reactive Systems
  Published by Springer Nature ,1993
• Delay analysis in synchronous programs
  Published by Springer Nature ,1993
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Synchronous programming with events and relations: the SIGNAL language and its semantics
  Science of Computer Programming, 1991
• Hybrid dynamical systems theory and the Signal language
  IEEE Transactions on Automatic Control, 1990
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977