ISoLA & AISoLA 2026

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

Session

Contracts Across System Levels • Sunday, 25.10

Room: Room 1
TimeTopicAuthors
14:30006 – Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
15:00009 – Relating Real-Time System Contracts with Software Function Contracts
15:30015 – Monitoring and Diagnosing Contracts for Digital Twin-enabled Systems