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: about 5 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
| dapphub/dappsys | A collection of building blocks for Ethereum smart contract systems using Solidity and Nix. | 579 |
 esig/dss | A framework for creating and validating advanced electronic signatures | 832 |
| dapphub/dapptools | A suite of tools for building, testing, and deploying Ethereum smart contracts and related tools | 2,102 |
 da0-da0/dao-contracts | A collection of reusable building blocks for creating governance-driven smart contracts on the Interchain | 209 |
 jklmnn/continuous-verification | Automates Ada software verification with continuous testing and proofing | 9 |
 tezos/tezoscoq | A Coq-based library providing a formal verification framework for the Tezos smart contract language | 28 |
 damsl/k3 | Builds large-scale data systems by separating design and implementation concerns with a high-level, declarative language framework. | 15 |
 doublechaintech/daas-with-github-actions | A low-code platform for building and deploying data-driven applications using GitHub Actions and Knowledge Spec Markup Language (KSML) | 21 |
 okwme/dapp-scratch | A CLI tool that generates JavaScript modules from Solidity contracts for interacting with decentralized applications. | 41 |
 a16z/zkdocs | A platform that enables secure and private verification of information through cryptographic commitments and zero-knowledge proofs | 309 |
 kongbytes/joi-security | An automated security assessment tool for validating JavaScript schemas | 44 |
 abstractsdk/templates | Provides a starting point for building composable smart-contracts on the Abstract platform | 12 |
 kvs/kwalify | Tool for validating and binding data in YAML and JSON formats | 22 |
 jelmer/xandikos | A CalDAV/CardDAV server backed by Git, providing a lightweight yet complete solution for calendar and contact synchronization. | 434 |
 sermodigital/jose | Provides libraries for securely creating and validating JSON-based digital signatures and encrypted messages | 914 |