Modular development of certified program verifiers with a proof assistant, .

Published in: J. Funct. Program. (2008)

Keyphrases

practical experience
development environment
decision support
real time
database
case study
multi agent
development process
programming environments
programming course
theorem proving
information processing
software engineering
decision trees
artificial intelligence
neural network
data sets