Contract Languages

Given the growing number of safety- and security-critical software applications, and the increased usage of software to model and simulate all kinds of systems, we need powerful and expressive techniques to provide guarantees about software performance and reliability. Contracts enable us to do this in a modular and reusable fashion, by formally capturing the expectations and guarantees of a given software fragment. This workshop brings together experts from the formal methods community to increase the expressiveness, abstraction, interoperability, and applications of contracts.