Generation of Certifiably Correct Programs from Formal Models.

Published in: WOSOCER (2011)

Keyphrases

formal models
formal model
rule based systems
process model
generation process
data sets
automatic programming
databases
data structure
computer programs