Login / Signup

Correctness witnesses: exchanging verification results between verifiers.

Dirk BeyerMatthias DanglDaniel DietschMatthias Heizmann
Published in: SIGSOFT FSE (2016)
Keyphrases
  • model checking
  • verification method
  • formal verification
  • high resolution
  • face verification
  • formal methods
  • real time
  • data sets
  • database systems
  • similarity measure
  • evolutionary algorithm
  • poor quality
  • high security