Process Semantics of Temporal Logic Specifications.

José Luiz Fiadeiro José Félix Costa Amílcar Sernadas T. S. E. Maibaum

Published in: COMPASS/ADT (1991)

Keyphrases

temporal logic
model checking
concurrent systems
transition systems
modal logic
satisfiability problem
model checker
reactive systems
bounded model checking
conceptual model
formal specification
temporal knowledge
dynamic constraints
logic programming
process model
control flow