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

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

Last synced: 5 months 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: 2024-07-13T01:37:05.000Z (10 months ago)
• Last Synced: 2024-08-04T00:03:48.673Z (9 months ago)
• Language: Java
• Homepage: https://github.com/SymbolicPathFinder/jpf-symbc
• Size: 91.3 MB
• Stars: 124
• Watchers: 11
• Forks: 89
• Open Issues: 42
• 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)