Prediction of inherited and genetic mutations using the software model checker SPIN.
Zubin BalsaraSteve RoachPublished in: SAC (2005)
Keyphrases
- model checker
- formal methods
- formal verification
- model checking
- test suite
- description language
- temporal logic
- software architecture
- symbolic model checking
- formal specification
- software development
- software systems
- test cases
- source code
- knowledge based systems
- neural network
- domain specific
- genetic algorithm
- set theory
- machine learning