Keyphrases
- bounded model checking
- formal verification
- software systems
- software maintenance
- model checking
- source code
- software development
- wide range
- linear temporal logic
- software tools
- user interface
- learning algorithm
- markov chain
- open source
- software components
- object oriented
- software testing
- search algorithm
- high assurance