Login / Signup
TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions.
Doron Drusinsky
Man-tak Shing
Published in:
IEEE International Workshop on Rapid System Prototyping (2004)
Keyphrases
</>
temporal logic
model checker
model checking
reactive systems
modal logic
satisfiability problem
concurrent systems
computation tree logic
transition systems
mazurkiewicz traces
linear temporal logic
verification method
temporal knowledge
dynamic constraints
formal methods
belief revision
artificial intelligence