GitHub / jayhorn / jayhorn

Static checker for Java

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jayhorn%2Fjayhorn
PURL: pkg:github/jayhorn/jayhorn

Stars: 85
Forks: 23
Open issues: 19

License: mit
Language: Java
Size: 180 MB
Dependencies parsed at: Pending

Created at: almost 10 years ago
Updated at: 6 months ago
Pushed at: 7 months ago
Last synced at: 5 months ago

Topics: java, model-checking, static-analysis, verification

Loading...