Conversion of ST Control Programs to ANSI C for Verification Purposes.

Published in: e Informatica Softw. Eng. J. (2011)

Keyphrases

control structures
control program
real world
control method
formal methods
control problems
formal verification
symbolic execution
database
databases
answer sets