Verifying Eiffel Programs with Boogie

Julian Tschannen Carlo A. Furia Martin Nordio Bertrand Meyer

Published in: CoRR (2011)

Keyphrases

artificial intelligence
database
databases
image processing
high level
bayesian networks
special case
operating system
model checking
application programs
search engine
medical images
answer sets
programming environment