Model Checking of Software Design in State Transition Matrix.
Tomohiro ShiraishiWeiqiang KongYuki MizushimaNoriyuki KatahiraMichihiro MatsumotoMasahiko WatanabeTetsuro KatayamaAkira FukudaPublished in: Software Engineering Research and Practice (2010)
Keyphrases
- model checking
- software design
- temporal logic
- finite state machines
- transition systems
- transition matrix
- finite state
- software engineering
- temporal properties
- model checker
- automated verification
- formal verification
- symbolic model checking
- software systems
- verification method
- concurrent systems
- bounded model checking
- markov chain
- software development
- formal specification
- epistemic logic
- reactive systems
- timed automata
- deterministic finite automaton
- formal methods
- design patterns
- multi agent
- linear temporal logic
- database