The Why/Krakatoa/Caduceus Platform for Deductive Program Verification.

Jean-Christophe Filliâtre Claude Marché

Published in: CAV (2007)

Keyphrases

distributed architecture
experimental platform
real time
image processing
website
object oriented
neural network
information retrieval
artificial intelligence
social networks
computer vision
relational databases
artificial neural networks
evolutionary algorithm
platform independent
abductive inference