Deductive verification of real-time systems using STeP

This publication has 26 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• A visual toolset for the design of real-time discrete-event systems
  IEEE Transactions on Control Systems Technology, 1997
• Automatic generation of invariants and intermediate assertions
  Theoretical Computer Science, 1997
• UPPAAL — a tool suite for automatic verification of real-time systems
  Published by Springer Nature ,1996
• The tool Kronos
  Published by Springer Nature ,1996
• Verifying clocked transition systems
  Published by Springer Nature ,1996
• Automatic generation of invariants in processor verification
  Published by Springer Nature ,1996
• Prom timed to hybrid systems
  Published by Springer Nature ,1992
• An old-fashioned recipe for real time
  Published by Springer Nature ,1992
• A calculus of durations
  Information Processing Letters, 1991