Login / Signup

Mechanical Verification of Total Correctness through Diversion Verification Conditions.

Peter V. HomeierDavid F. Martin
Published in: TPHOLs (1998)
Keyphrases
  • asynchronous circuits
  • model checking
  • case study
  • face verification
  • concurrent systems
  • database
  • real time
  • real world
  • genetic algorithm
  • feature selection
  • signature verification
  • high security
  • verification method