Application of Model Checking to AXML System's Security: A Case Study.
Il-Gon KimDebmalya BiswasPublished in: WS-FM (2006)
Keyphrases
- model checking
- temporal logic
- finite state
- partial order reduction
- formal specification
- finite state machines
- formal verification
- epistemic logic
- computation tree logic
- formal methods
- temporal properties
- reinforcement learning
- deterministic finite automaton
- automated verification
- symbolic model checking
- artificial intelligence
- reactive systems
- pspace complete
- timed automata
- transition systems
- bounded model checking
- reachability analysis
- planning domains
- ordered binary decision diagrams
- information security
- test cases
- alternating time temporal logic