Partial Order Path Technique for Checking Parallel Timed Automata.
Jianhua ZhaoHe XuXuandong LiTao ZhengGuoliang ZhengPublished in: FTRTFT (2002)
Keyphrases
- partial order
- timed automata
- partially ordered
- total order
- model checking
- reachability analysis
- theorem prover
- stable marriage
- lattice structure
- set theory
- first order logic
- preference relations
- maximum weight
- real time systems
- data structure
- theorem proving
- temporal logic
- heuristic search
- multi dimensional
- expert systems