Formal verifiaction personal notes
-
Updated
Nov 30, 2023
Formal verifiaction personal notes
A programme for calculating invariants and maipulating codes for various categories of knots and links
Vaxine provides rich-CRDT features on top of Antidote.
Convenient Invariant functor and several helper functions for validation
Invariant testing repo for WETH, based on horsefacts repo
Validation library inspired by the concepts of Secure by Design, by Dan Bergh Johnsson, Daniel Deogun, and Daniel Sawano (MEAP 2019 Manning Publications).
In this project, we have automated the synthesis of loop invariants for a for a very small programming language. It converts SMT-Lib files into SMT2
InvAASTCluster: AASTs and Invariant-Based Program Clustering
Utility library that helps expressing invariants in types
Lógica de Programación con KeY y Dafny
code and knowlage related to the paper "can we see the shape of our data?"
A python program that automatically produces mathematical conjectures in the field of graph theory.
Website of Trajectory Invariants.
Fluent Design by Contract for Javascript APIs
A simple Python wrapper around several popular specification mining tools
Invariant tests for Wrapped Ether, one of the most important contracts on mainnet.
Final project for concurrent programming subject at @FCEFyN, UNC, Argentina.
Add a description, image, and links to the invariants topic page so that developers can more easily learn about it.
To associate your repository with the invariants topic, visit your repo's landing page and select "manage topics."