The runtime monitoring tool for smart contracts high-level properties.
-
Updated
May 25, 2024 - Solidity
The runtime monitoring tool for smart contracts high-level properties.
The main goal of this software is to give assistance to Graph Theory and Spectral Graph Theory researchers to establish or refute conjectures quickly and simply, providing for visualization a filtered list of graphs according to the properties given by the user.
Fluent Design Contracts for Java Projects
Stress tensor, hydrostatic stress tensor, deviatoric stress tensor, invariants of stress tensor and deviatoric stress tensor, principal stresses, von Mises stress and Mohr's diagram in Matlab for the case when all components of stress tensor are given.
Validity and validity-based testing
Welcome to my Security Audit Repository! Here, you'll find a collection of security audit reports conducted by me
Python implementation of Trajectory Invariants.
👊 Human-readable, fast and boilerplate-free contract programming (precondition checks) for JavaScript.
Final project for concurrent programming subject at @FCEFyN, UNC, Argentina.
A library for building abstract interpretation-based analyses
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Matlab implementation of Trajectory Invariants.
InvariantsSanitizer - Instrumenting a program to infer invariants with Daikon, on the top of Sanitizers in llvm-project
Rust newtype with guarantees 🇺🇦 🦀
Website of Trajectory Invariants.
Projects of the subject algorithms and data structures 1
Cyfrin-Updraft foundry course
fork of the repo to submit PR
Fluent Design by Contract for Javascript APIs
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."