4. CAISAR by Examples¶

This page regroups some example use cases for CAISAR. All examples will describe the use case, the formalization using the WhyML specification language, and the CAISAR execution.