Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool.
Saikou Y. DialloRoss GoreChristopher J. LynchJose J. PadillaPublished in: Int. J. Model. Simul. Sci. Comput. (2016)
Keyphrases
- formal methods
- exploratory analysis
- safety critical
- knowledge based systems
- software engineering
- model checker
- formal analysis
- model checking
- artificial intelligence
- formal specification language
- development lifecycle
- decision support
- formal specification
- support systems
- expert systems
- machine learning
- knowledge acquisition
- reverse engineering
- information visualization
- case study
- knowledge management
- modeling language
- user interface
- data analysis
- computer vision
- data mining