Proving linearizability with temporal logic.

Simon Bäumler Gerhard Schellhorn Bogdan Tofan Wolfgang Reif

Published in: Formal Aspects Comput. (2011)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
belief revision
linear temporal logic
predicate logic
computation tree logic
formal specification language
model checker
verification method
reactive systems
temporal knowledge
automata theoretic
finite state
bounded model checking