Generation of correctness conditions for imperative programs.

Nikolay V. Shilov Igor S. Anureev Evgeny V. Bodin

Published in: Program. Comput. Softw. (2008)

Keyphrases

imperative programs
sufficient conditions
dynamic logic
real time
general purpose
data sets
databases
website
decision trees
management system
environmental conditions
generation process
generation method