Login / Signup

Formal Verification of Ada Programs.

David GuaspariCarla MarceauWolfgang Polak
Published in: IEEE Trans. Software Eng. (1990)
Keyphrases
  • formal verification
  • program slicing
  • model checking
  • model checker
  • bounded model checking
  • automated verification
  • symbolic model checking
  • artificial intelligence
  • data sets