Silicon is a symbolic-execution-based verifier for Sil, the Simple Intermediate Language. Thanks to Implicit Dynamic Frames, it rocks every heap from Zurich to Auckland and back. Check it out!
New to Silicon? The wiki will help you to get started.
forked from viperproject/silicon
-
Notifications
You must be signed in to change notification settings - Fork 0
Symbolic-execution-based verifier for the Viper intermediate verification language.
License
nicdard/silicon
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Symbolic-execution-based verifier for the Viper intermediate verification language.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Scala 95.1%
- Boogie 2.9%
- SMT 0.9%
- Shell 0.5%
- Python 0.4%
- Batchfile 0.2%