Login / Signup

Conditional model checking: a technique to pass information between verifiers.

Dirk BeyerThomas A. HenzingerM. Erkan KeremogluPhilipp Wendler
Published in: SIGSOFT FSE (2012)
Keyphrases
  • model checking
  • temporal logic
  • temporal properties
  • finite state
  • formal methods
  • concurrent systems