Sign in

LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model.

Jiri BarnatLubos BrimVojtech Havel
Published in: ACSD (2013)
Keyphrases
  • model checking
  • temporal logic
  • finite state machines
  • model checker
  • temporal properties
  • process algebra
  • finite state
  • formal verification
  • transition systems