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

Jiri Barnat Lubos Brim Vojtech 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