Executable Temporal Logic Systems.

Mehmet A. Orgun Antony A. Faustini

Published in: J. Symb. Comput. (1996)

Keyphrases

temporal logic
model checking
reactive systems
modal logic
satisfiability problem
expert systems
verification method
concurrent systems
dynamic constraints
complex systems
distributed systems