Reasoning about digital systems using temporal logic.

S. Bapat G. Venkatesh

Published in: DAC (1986)

Keyphrases

temporal logic
model checking
reactive systems
complex systems
modal logic
verification method
dynamic constraints
satisfiability problem
modal operators
concurrent systems
transition systems
expert systems
distributed systems
qualitative reasoning
temporally extended