GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → viperproject → silver

viperproject / silver

Licence: MPL-2.0 License
Definition of the Viper intermediate verification language.

Programming Languages

scala
5932 projects
TeX
3793 projects

Labels

verificationviper

Projects that are alternatives of or similar to silver

Prusti Dev
A static verifier for Rust, based on the Viper verification infrastructure.
Stars: ✭ 302 (+978.57%)
Mutual labels:  verification, viper
vercors
The VerCors verification toolset for verifying parallel and concurrent software
Stars: ✭ 30 (+7.14%)
Mutual labels:  verification, viper
VIPERArchitectureGenerator
Generates files for your VIPER Architecture files.
Stars: ✭ 15 (-46.43%)
Mutual labels:  viper
vscode-tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 213 (+660.71%)
Mutual labels:  verification
sv-comp
Information to reproduce results from SV-COMP (MOVED, please follow the link)
Stars: ✭ 12 (-57.14%)
Mutual labels:  verification
VerificationCode
简单的滑动验证码JS插件 图片验证码
Stars: ✭ 15 (-46.43%)
Mutual labels:  verification
ILAng
A Modeling and Verification Platform for SoCs using ILAs
Stars: ✭ 52 (+85.71%)
Mutual labels:  verification
email-checker
Provides email verification on the go.
Stars: ✭ 116 (+314.29%)
Mutual labels:  verification
react-native-sms-user-consent
React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.
Stars: ✭ 45 (+60.71%)
Mutual labels:  verification
kani
Kani Rust Verifier
Stars: ✭ 229 (+717.86%)
Mutual labels:  verification
Go-Gin-Api
基于golang开源框架 gin封装的api框架
Stars: ✭ 42 (+50%)
Mutual labels:  viper
DNNV
A Framework for Deep Neural Network Verification
Stars: ✭ 36 (+28.57%)
Mutual labels:  verification
fingerprint
Fingerprint is a simple tool that can be used to verify the contents of a directory.
Stars: ✭ 71 (+153.57%)
Mutual labels:  verification
jayhorn
Static checker for Java
Stars: ✭ 54 (+92.86%)
Mutual labels:  verification
ruby-vpi
Ruby interface to IEEE 1364-2005 Verilog VPI
Stars: ✭ 15 (-46.43%)
Mutual labels:  verification
Rel
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
Stars: ✭ 27 (-3.57%)
Mutual labels:  verification
fphdl
VHDL-2008 Support Library
Stars: ✭ 36 (+28.57%)
Mutual labels:  verification
VerifyBlocksView
Android view for providing blocks (Edit Texts) to achieve verification process.
Stars: ✭ 28 (+0%)
Mutual labels:  verification
steam-ts
Steam integration for TeamSpeak 3
Stars: ✭ 56 (+100%)
Mutual labels:  verification
groot
Static verification tool for DNS zone files
Stars: ✭ 60 (+114.29%)
Mutual labels:  verification
View All Similar Projects ➔

Silver

Silver is the intermediate verification language of the Viper project by Programming Methodology Group at the Department of Computer Science, ETH Zurich.

Quick Start

Instructions for how to get started with Viper can be found here.

Syntax Highlighting

Files for LaTeX and various editors can be found under silver/util/highlighting directory.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].