Home » io.github.contractautomataproject » catlib

ContractAutomataLib

Library for specifying and verifying contract automata.
Tagsgithub
Ranking
#567951in MvnRepository
HomePage https://github.com/ContractAutomataProject/ContractAutomataL ... 🔍 Inspect URL
Links

Latest Versions

3 versions →
Version ▼VulnerabilitiesUsagesDate
1.0.x
1.0.2
0
Feb 27, 2023
1.0.1
0
Apr 29, 2022
1.0.0
0
Apr 24, 2022
3 versions →