https://github.com/jayhorn/jayhorn

Static checker for Java
https://github.com/jayhorn/jayhorn

java model-checking static-analysis verification

Last synced: about 2 months ago
JSON representation

Static checker for Java

• Host: GitHub
• URL: https://github.com/jayhorn/jayhorn
• Owner: jayhorn
• License: mit
• Created: 2015-08-09T01:33:41.000Z (over 9 years ago)
• Default Branch: devel
• Last Pushed: 2025-01-16T20:10:22.000Z (3 months ago)
• Last Synced: 2025-01-16T21:23:35.788Z (3 months ago)
• Topics: java, model-checking, static-analysis, verification
• Language: Java
• Homepage: http://jayhorn.github.io/jayhorn/
• Size: 180 MB
• Stars: 84
• Watchers: 13
• Forks: 21
• Open Issues: 19
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-java - JayHorn