ISoLA & AISoLA 2026

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

Session

Contracts for Specification, Analysis, and Diagnostics • Sunday, 25.10

Room: Room 1
TimeTopicAuthors
09:00005 – Formalizing Rust Contracts
09:30003 – Leveraging Function Contracts for Blame Analysis
10:00004 – Explainability as a Diagnostic for Contract Misalignment (Contract Smells)