A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.

Stephan Merz Martin Wirsing Júlia Zappe

Published in: FASE (2003)

Keyphrases

temporal logic
reactive systems
dynamic constraints
model checking
linear temporal logic
transition systems
satisfiability problem
complex systems
computation tree logic
temporal knowledge
mobile devices
modal logic
finite state
formal methods
verification method