Automatic Synthesis of Safety-Related Software � — Short Paper —

For specific domains (e.g., data analysis, planning and scheduling,or stateestimation),automatedprogramsynthesis systemshave beendevelopedwhich arecapableof producinghundredsof lines of non-trivial code. However, the potentialapplicabilityof anautomaticprogramsynthesissystemdoesnotonly dependonsizeandqualityof thegenerated code,but alsoits ability to… CONTINUE READING