Model checking education for software engineers in Japan.
Hideaki NishiharaKoichi ShinozakiKoji HayamizuToshiaki AokiKenji TaguchiFumihiro KumenoPublished in: ACM SIGCSE Bull. (2009)
Keyphrases
- model checking
- software engineers
- software engineering
- temporal logic
- software maintenance
- software systems
- model checker
- software development
- source code
- automated verification
- formal verification
- database applications
- temporal properties
- formal specification
- software components
- reverse engineering
- e learning
- transition systems
- pspace complete
- computation tree logic
- verification method
- reactive systems
- bounded model checking
- software developers
- formal methods
- reachability analysis
- concurrent systems
- process algebra
- timed automata
- symbolic model checking
- linear temporal logic
- epistemic logic
- open source
- deterministic finite automaton
- database systems
- alternating time temporal logic
- machine learning
- design patterns
- object oriented
- multi agent systems
- information systems
- artificial intelligence