Project Group: io.github.davidebasile

ContractAutomataLib

io.github.davidebasile : ContractAutomataLib

Library for specifying and verifying contract automata.

Last Version: 0.0.1

Release Date: Sep 22, 2021