A Brief Introduction to the PVS2C Code Generator.

Natarajan Shankar

Published in: AFM@NFM (2017)

Keyphrases

code generator
automatically generated
code generation
process model
theorem proving
data processing
formal verification
application development
software reuse