Introspectable Contracts Programming for JavaScript
-
Updated
Jan 6, 2017 - CoffeeScript
Introspectable Contracts Programming for JavaScript
A way to provide descriptive errors in development but generic errors in production.
All of my math stuff from grad school.
Design by contract for JavaScript
Innopolis University - Models course. WhyApp is a WhatsApp clone to get used to formal methods.
Source code of submitted paper : Automatic Search of Subspace Trails for Lightweight Block Ciphers
System.ComponentModel.Annotations.Validation is a extension of System.ComponentModel validation engine. Supports validation of properties and invariants for object graphs.
A simple Python wrapper around several popular specification mining tools
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…
Pattern recognition image classification using moment invariants.
Generates loop invariants for program verification
A python program that automatically produces mathematical conjectures in the field of graph theory.
Eclipse Implementation of Data Structures and Algorithms by Robert Lafore
Tesis: Lógica de Programación con Dafny
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
PARQ is an automatic parallelization engine based on Skolem Function Synthesis and Quantified Invariant Generation. It is aimed at parallelization of array modifying programs written as Constrained Horn Clause (CHC) formulas.
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
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."