Awesome Open Source

Programming Languages

Search results for carbon viper

3 search results found

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Verification-condition-generation-based verifier for the Viper intermediate verification language.

Viperserver ⭐ 9

HTTP server that manages verification requests to different tools from the Viper tool stack.

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.