Temporal-logic property preservation under Z refinement.

John Derrick Graeme Smith

Published in: Formal Aspects Comput. (2012)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
linear temporal logic
computation tree logic
verification method
transition systems
reactive systems
temporal knowledge
bounded model checking
model checker
dynamic constraints
mazurkiewicz traces
data model