Building SMT-Based Software Model Checkers: An Experience Report.
Alessandro ArmandoPublished in: FroCoS (2009)
Keyphrases
- computational model
- probabilistic model
- machine learning
- genetic algorithm
- formal model
- statistical model
- natural language
- mathematical model
- computer systems
- management system
- software design
- software tools
- neural network model
- software systems
- software development
- real time
- probability distribution
- high level
- decision making
- information systems
- artificial intelligence
- neural network