Iris

Iris is a framework for program verification, which has been applied to many programming languages (including Rust, C, Scala, OCaml, Go) and programming concepts (including concurrency, distributed systems, systems programming, advanced type systems). Iris has an active user community with yearly workshops. In 2023, Iris received the Alonzo Church Award for most influential contribution to logic in computer science in the last 25 years.