PVS
by SRI-CSL
The People's Verification System
AI summary
Verification system
A verification system for formal methods and specification languages
- stars
- 141
- forks
- 32
- watching
- 19
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Verification tool
A verification library for digital hardware described in Chisel or legacy components from VHDL, Verilog, or SystemVerilog
Contract verifier
An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.
Anonymity enhancement tool
A tool designed to enhance the anonymity of internet users by embedding hidden data within network traffic
UI verification tool
A tool for verifying the correctness of Xaml UIs.
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Document Verifier
Tool for verifying document integrity using Aspose.
System verification framework
A framework for developing and verifying distributed systems using separation logic
JavaScript verifier
A Coq-based verification of the ECMAScript 5 standard for a JavaScript interpreter
Lisp project tools
A set of tools and features for building and maintaining Common Lisp software projects
Logging verifier
A tool for verifying Serilog logging behavior in C# applications
SoC modeling tool
A modeling and verification platform for system-on-chip design using Intermediate Level Arithmetic
yosyshq/sby413
Verification tool
A front-end driver program for Yosys-based formal hardware verification flows
Validator library
A general purpose validation library for Common Lisp
Verification visualizer
A tool to visualize and analyze verification data from SystemC simulations.
HTML comparer
A verification tool that compares HTML files using the AngleSharp rendering engine
Featured in 1 awesome list
Each link jumps to the spot where the list mentions PVS.
