Keyphrases
- formal verification
- model checking
- model checker
- automated verification
- bounded model checking
- engineering design
- software engineering
- symbolic model checking
- artificial intelligence
- engineering problems
- program slicing
- temporal logic
- business intelligence
- case study
- competitive advantage
- process oriented
- empirical evidence
- computer science
- engineering education
- design process
- knowledge management