ISoLA & AISoLA 2026

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

Session

Bridging Heterogeneous Languages and Models • Sunday, 25.10

Room: Room 1
TimeTopicAuthors
11:00007 – Towards Cross-Language Verification between Python and C
11:30013 – Planning Abstract Consistency Repairs Between Heterogeneous Models
12:00014 – Bridging Function Block Diagrams and Verified Python Code: A Verification-Aware Approach for Programmable Logic Controllers