Akıllı sistemler ve uygulamaları dergisi

Low-code platforms increasingly rely on auto-generated application logic to accelerate enterprise software development, but this abstraction introduces risks related to hidden defects, inconsistent rule execution, and lack of formal validation. Existing approaches primarily focus on development efficiency while offering limited support for rigorous verification of generated logic, particularly in complex and dynamic execution environments. This study presents a unified verification framework that integrates static analysis and runtime validation to ensure correctness and reliability of auto-generated logic in low-code systems. The framework formalizes generated workflows, applies constraint-based static verification for detecting structural inconsistencies, and employs runtime monitoring to capture execution anomalies and context-dependent deviations. Evaluation across varying logic complexity levels demonstrates that the combined approach improves defect detection accuracy, enhances rule coverage, and maintains acceptable validation latency compared to standalone verification methods. The results highlight the complementary strengths of static and runtime techniques in addressing both pre-execution and dynamic validation challenges. The proposed framework provides a scalable and robust foundation for improving reliability, compliance, and correctness in enterprise low-code applications, while enabling future integration of automated formal verification and intelligent validation mechanisms.