viperproject / silicon

Symbolic-execution-based verifier for the Viper intermediate verification language.
97Updated last week

Alternatives and similar repositories for silicon:

Users that are interested in silicon are comparing it to the libraries listed below