Keyphrases
- concurrent systems
- fault injection
- temporal logic
- distributed systems
- process algebra
- petri net
- transition systems
- software development
- computer systems
- model checking
- software testing
- fault model
- source code
- java card
- software systems
- knowledge base
- static analysis
- open source
- software engineering
- object oriented
- case study