https://github.com/svf-tools/teaching-software-verification

Teaching and Learning Software Verification via SVF
https://github.com/svf-tools/teaching-software-verification

course software-verification static-analysis symbolic-execution verification

Last synced: about 1 year ago
JSON representation

Teaching and Learning Software Verification via SVF

• Host: GitHub
• URL: https://github.com/svf-tools/teaching-software-verification
• Owner: SVF-tools
• License: gpl-3.0
• Created: 2022-02-01T11:34:31.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2025-05-24T12:59:31.000Z (about 1 year ago)
• Last Synced: 2025-05-24T13:54:55.739Z (about 1 year ago)
• Topics: course, software-verification, static-analysis, symbolic-execution, verification
• Language: C++
• Homepage:
• Size: 10.8 MB
• Stars: 34
• Watchers: 4
• Forks: 23
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
[Software-Verification-Teaching Contents](https://github.com/SVF-tools/Teaching-Software-Verification/wiki)

If you fork this repository, please make it as private and do not disclose your solutions.

For more courses, refer to [SVF-Teaching](https://github.com/SVF-tools/SVF-Teaching).