Login / Signup

A Mechanized Theory for the Verification of Real-Time Program Code using Higher Order Logic.

Rachel Cardell-Oliver
Published in: FTRTFT (1992)
Keyphrases
  • higher order logic
  • real time
  • program code
  • higher order
  • logical framework
  • programming language
  • theorem prover
  • bayesian networks
  • model checking
  • inference rules
  • conditional logic