Login / Signup

Scaling model checking of dataraces using dynamic information.

Ohad ShachamMooly SagivAssaf Schuster
Published in: PPOPP (2005)
Keyphrases
  • model checking
  • temporal properties
  • temporal logic
  • information flow
  • formal verification
  • artificial intelligence
  • finite state machines
  • partial information
  • pspace complete
  • verification method
  • reachability analysis