viperproject/silicon

This is stars and forks stats for /viperproject/silicon repository. As of 25 Apr, 2024 this repository has 64 stars and 27 forks.

Silicon: A Viper Verifier Based on Symbolic Execution Silicon is a state-of-the-art, automated verifier based on symbolic execution, and the default verifier of the Viper verification infrastructure. Silicon's input language is the Viper intermediate verification language: a language in the spirit of Microsoft's Boogie, but with a higher level of abstraction and a built-in notation of permissions, which makes Viper well-suited for encoding and verifying properties of sequential and concurrent programs...