Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator.

Peter V. Homeier David F. Martin

Published in: TPHOLs (1994)

Keyphrases

software tools
computer programs
database systems
programming environments
symbolic execution
multi agent
sufficient conditions
programming environment
free software
information systems
model checking
user friendly
trust management