ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Talk

Integrating Formal Methods into Low-Code/No-Code (LCNC) Platforms to Ensure Software Correctness and Reliability in High-Assurance Systems

Time: Sunday, 25.10

Room: Room 4

Authors: Mariam Ali