https://github.com/SymbolicPathFinder/jpf-symbc

Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc

Last synced: 16 days ago
JSON representation

Symbolic PathFinder

• Host: GitHub
• URL: https://github.com/SymbolicPathFinder/jpf-symbc
• Owner: SymbolicPathFinder
• Created: 2018-03-01T01:01:30.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2025-03-27T06:54:19.000Z (2 months ago)
• Last Synced: 2025-03-27T07:33:46.591Z (2 months ago)
• Language: Java
• Homepage: https://github.com/SymbolicPathFinder/jpf-symbc
• Size: 91.3 MB
• Stars: 140
• Watchers: 10
• Forks: 95
• Open Issues: 41
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-2.0.txt

Awesome Lists containing this project

• awesome-symbolic-execution - Symbolic PathFinder (SPF) - Symbolic execution tool built on [Java PathFinder](https://github.com/javapathfinder). Supports multiple constraint solvers, lazy initialization, etc. (Tools / Java)