author: Ömer Sakar
title: Support for ADTs in VerCors
keywords: verification, adt
topics: Logics and semantics
committee: Marieke Huisman ,
Raúl Monti
started: September 2019