Generating Verifiable Java Code from Verified PVS Specifications.

Leonard Lensink Sjaak Smetsers Marko C. J. D. van Eekelen

Published in: NASA Formal Methods (2012)

Keyphrases

java code
development tools
source code
formal verification
theorem proving
byte code
application development
database
development environment
general purpose
application developers