Model Checking for SpaceWire Link Interface Design Using Uppaal.
Ping LuoRui WangXiaojuan LiYong GuanHongxing WeiJie ZhangPublished in: COMPSAC Workshops (2013)
Keyphrases
- model checking
- interface design
- temporal logic
- model checker
- human computer interaction
- timed automata
- user interface
- formal verification
- information seeking
- formal specification
- temporal properties
- automated verification
- verification method
- user experience
- computation tree logic
- bounded model checking
- symbolic model checking
- epistemic logic
- user centered
- transition systems
- formal methods
- artificial intelligence
- information retrieval
- test suite
- modal logic
- database systems
- web services