Towards Synthesis of Runtime Constraint Monitoring Code

DynaMICs is a system under development that manages integrity constraints to ensure the correct runtime behavior of programs. The intent of this approach is to facilitate the insertion of constraint checking code into programs so that correctness properties are maintained throughout execution. Automation of the synthesis of constraint monitoring code and the insertion of constraint monitoring code is essential for the success of this approach. Possible approaches to this problem are discussed