Verifying safety properties of differential equations

This publication has 8 references indexed in Scilit:

• Smooth dynamical systems which realize arithmetical and logical operations
  Published by Springer Nature ,2005
• Algorithmic analysis of nonlinear hybrid systems
  Published by Springer Nature ,1995
• Using abstractions for the verification of linear hybrid systems
  Lecture Notes in Computer Science, 1994
• Formal hardware verification methods: A survey
  Formal Methods in System Design, 1992
• Analysis of digital circuits through symbolic reduction
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991
• High-speed CMOS circuit technique
  IEEE Journal of Solid-State Circuits, 1989
• Practical Numerical Algorithms for Chaotic Systems
  Published by Springer Nature ,1989
• The ``Hoare Logic'' of CSP, and All That
  ACM Transactions on Programming Languages and Systems, 1984