The MOBIUS Proof Carrying Code Infrastructure.

Gilles Barthe Pierre Crégut Benjamin Grégoire Thomas P. Jensen David Pichardie

Published in: FMCO (2007)

Keyphrases

application programming interface
source code
information systems
information exchange
data mining
genetic algorithm
computing environments
theorem proving
error correcting
support environment