k-dss
Contract verification tool
Formal specification and verification of a specific smart contract function.
formal verification of multicollateral dai in the K framework
45 stars
17 watching
25 forks
Language: GCC Machine Description
last commit: over 3 years ago Related projects:
Repository | Description | Stars |
---|---|---|
| A collection of building blocks for Ethereum smart contract systems using Solidity and Nix. | 579 |
| A framework for creating and validating advanced electronic signatures | 832 |
| A suite of tools for building, testing, and deploying Ethereum smart contracts and related tools | 2,102 |
| A collection of reusable building blocks for creating governance-driven smart contracts on the Interchain | 209 |
| Automates Ada software verification with continuous testing and proofing | 9 |
| A Coq-based library providing a formal verification framework for the Tezos smart contract language | 28 |
| Builds large-scale data systems by separating design and implementation concerns with a high-level, declarative language framework. | 15 |
| A low-code platform for building and deploying data-driven applications using GitHub Actions and Knowledge Spec Markup Language (KSML) | 21 |
| A CLI tool that generates JavaScript modules from Solidity contracts for interacting with decentralized applications. | 41 |
| A platform that enables secure and private verification of information through cryptographic commitments and zero-knowledge proofs | 309 |
| An automated security assessment tool for validating JavaScript schemas | 44 |
| Provides a starting point for building composable smart-contracts on the Abstract platform | 12 |
| Tool for validating and binding data in YAML and JSON formats | 22 |
| A CalDAV/CardDAV server backed by Git, providing a lightweight yet complete solution for calendar and contact synchronization. | 434 |
| Provides libraries for securely creating and validating JSON-based digital signatures and encrypted messages | 914 |