Longitudinal data consistency verification using formal methods.
Roberto BoselliMirko CesariniFabio MercorioMario MezzanzanicaPublished in: Int. J. Inf. Qual. (2014)
Keyphrases
- formal methods
- model checker
- model checking
- safety critical
- formal analysis
- artificial intelligence
- knowledge based systems
- formal specification
- provably correct
- software engineering
- temporal properties
- process algebra
- database
- protocol specification
- temporal logic
- database systems
- reactive systems
- development lifecycle