Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: temporal-properties
VeraBE/VeriMan
Analysis tool for Solidity smart contracts. Prototype.
Language: Python - Size: 81.1 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 33 - Forks: 8
songyahui/EFFECTS
Tvide: an Automated Temporal Verification tool of Integrated Dependent Effects
Language: OCaml - Size: 4.58 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 1