Login / Signup
Simple Interval Temporal Logic for Natural Language Assertion Descriptions.
Reyadh Alluhaibi
Published in:
IWCS (2015)
Keyphrases
</>
temporal logic
model checking
natural language
satisfiability problem
modal logic
verification method
concurrent systems
state space
orders of magnitude
dynamic constraints
linear temporal logic
computation tree logic
domain independent
belief revision
formal specification language
mazurkiewicz traces