Project Group: io.github.contractautomataproject

ContractAutomataLib

io.github.contractautomataproject : catlib

Library for specifying and verifying contract automata.

Last Version: 1.0.1

Release Date:

  • 1