PVS
Verification system
A verification system for formal methods and specification languages
The People's Verification System
141 stars
19 watching
32 forks
Language: Common Lisp
last commit: 2 months ago
Linked from 1 awesome list
azzamsa/awesome-lisp-companiesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 chiselverify/chiselverify | A verification library for digital hardware described in Chisel or legacy components from VHDL, Verilog, or SystemVerilog | 142 |
| sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |
| sri-csl/stegotorus | A tool designed to enhance the anonymity of internet users by embedding hidden data within network traffic | 79 |
 verifytests/verify.xaml | A tool for verifying the correctness of Xaml UIs. | 21 |
 princetonuniversity/vst | A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 444 |
| verifytests/verify.aspose | Tool for verifying document integrity using Aspose. | 5 |
 logsem/aneris | A framework for developing and verifying distributed systems using separation logic | 33 |
 jscert/jscert | A Coq-based verification of the ECMAScript 5 standard for a JavaScript interpreter | 196 |
 lisp-mirror/budden-tools | A set of tools and features for building and maintaining Common Lisp software projects | 1 |
| verifytests/verify.serilog | A tool for verifying Serilog logging behavior in C# applications | 1 |
| princetonuniversity/ilang | A modeling and verification platform for system-on-chip design using Intermediate Level Arithmetic | 75 |
 yosyshq/sby | A front-end driver program for Yosys-based formal hardware verification flows | 413 |
 mmontone/clavier | A general purpose validation library for Common Lisp | 19 |
 minres/scviewer | A tool to visualize and analyze verification data from SystemC simulations. | 14 |
| verifytests/verify.anglesharp | A verification tool that compares HTML files using the AngleSharp rendering engine | 6 |