Return to Article Details Static and Runtime Verification of Auto-Generated Application Logic in Low-Code Systems Download Download PDF