Sign in

Proof System: Building a Heterogeneous Verification Platform.

Kaustuv ChaudhuriDamien DoligezLeslie LamportStephan Merz
Published in: ICTAC (2010)
Keyphrases
  • model checking
  • modal logic
  • model checker
  • real time
  • machine learning
  • digital libraries
  • search space
  • formal analysis
  • signature verification
  • false acceptance rate