Convincing Proofs for Program Certification.

Manuel Garnacho Michaël Périn

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

computer programs
third party
control program
databases
program execution
multiscale
relational databases
programming environment
database
test cases
programming language
formal proofs
theorem proving
software engineering
neural network
data sets
real time