Formal verifiaction personal notes
-
Updated
Nov 30, 2023
Formal verifiaction personal notes
Invariant testing repo for WETH, based on horsefacts repo
Invariant is a guaranteed library to compute invariants associated to dynamical systems
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 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.
A python program that automatically produces mathematical conjectures in the field of graph theory.
Pattern recognition image classification using moment invariants.
Project for the ‘Compilation Techniques’ course on 6th semester. Firstly I defined the grammar of my own language. Then I implemented a lexical analyzer, parser and semantic analyzer. These modules generate the syntax tree of the given source code (or display the error line with the description of the error). If the source code is correct, the n…
Tesis: Lógica de Programación con Dafny
fork of the repo to submit PR
InvariantsSanitizer - Instrumenting a program to infer invariants with Daikon, on the top of Sanitizers in llvm-project
Source code of submitted paper : Automatic Search of Subspace Trails for Lightweight Block Ciphers
Eclipse Implementation of Data Structures and Algorithms by Robert Lafore
Invariant Generation modulo opaue operations
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."