Using Locales to Define a Rely-Guarantee Temporal Logic.

William Mansky Elsa L. Gunter

Published in: ITP (2012)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
mazurkiewicz traces
verification method
linear temporal logic
belief revision
concurrent systems
predicate logic
transition systems
automata theoretic
formal specification
computation tree logic