Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/SymbolicPathFinder/jpf-symbc
Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc
Last synced: 3 months ago
JSON representation
Symbolic PathFinder
- Host: GitHub
- URL: https://github.com/SymbolicPathFinder/jpf-symbc
- Owner: SymbolicPathFinder
- Created: 2018-03-01T01:01:30.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2024-07-10T17:36:11.000Z (4 months ago)
- Last Synced: 2024-07-10T21:14:24.112Z (4 months ago)
- Language: Java
- Homepage: https://github.com/SymbolicPathFinder/jpf-symbc
- Size: 91.3 MB
- Stars: 123
- Watchers: 11
- Forks: 89
- Open Issues: 40
-
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)