Login / Signup

Certifying Temporal Properties for Compiled C Programs.

Songtao XiaJames Hook
Published in: VMCAI (2004)
Keyphrases
  • temporal properties
  • model checking
  • formal methods
  • possibility theory
  • neural network
  • computer programs
  • temporal logic
  • machine learning
  • data analysis
  • computational intelligence
  • life cycle
  • programs written