C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Note on Non-Alethic Temporal Logics.
Jair Minoro Abe
Kazumi Nakamatsu
Published in:
LAPTEC (2005)
Keyphrases
</>
temporal logic
mazurkiewicz traces
model checking
modal logic
satisfiability problem
concurrent systems
temporal knowledge
computation tree logic
predicate logic
verification method
bounded model checking
search algorithm
formal specification
temporal resolution
reactive systems