Verification of Automotive Control Units

This publication has 10 references indexed in Scilit:

• Formal Verification In A Commercial Setting
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking
  Published by Springer Nature ,1999
• A Compositional Real-time Semantics of STATEMATE Designs
  Published by Springer Nature ,1998
• First-Order-CTL Model Checking
  Published by Springer Nature ,1998
• HYTECH: a model checker for hybrid systems
  International Journal on Software Tools for Technology Transfer, 1997
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Expressing interesting properties of programs in propositional temporal logic
  Published by Association for Computing Machinery (ACM) ,1986
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983
• An axiomatic basis for computer programming
  Communications of the ACM, 1969