ISoLA & AISoLA 2026

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

Session

Formal Methods in Software Engineering • Sunday, 25.10

Room: Room 4
TimeTopicAuthors
09:00Integrating Formal Methods into Low-Code/No-Code (LCNC) Platforms to Ensure Software Correctness and Reliability in High-Assurance SystemsMariam Ali
09:25Preparing WAVE for Model Checking: From Service Logic Graphs to Verifiable ModelsGabriel Oyeyemi
09:50A Formally Constrained Knowledge Substrate for LLM-Guided Alphabet InferenceMarco Krumrey