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)