CoCoSpec: A Mode-Aware Contract Language for Reactive Systems.

Adrien Champion, Arie Gurfinkel, Temesghen Kahsai, Cesare Tinelli

Browse the full SEFM paper archive.