A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata.
Denis LugiezPeter NiebertSarah ZennouPublished in: TACAS (2004)
Keyphrases
- partial order
- timed automata
- conceptual graphs
- partially ordered
- model checking
- total order
- reachability analysis
- preference relations
- theorem prover
- declarative semantics
- theorem proving
- formal semantics
- lattice structure
- logical formulas
- totally ordered
- logic programming
- dominance relation
- inference rules
- maximum weight
- temporal logic
- semantic information