https://github.com/runtimeverification/gitbook-home
https://github.com/runtimeverification/gitbook-home
Last synced: 5 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/runtimeverification/gitbook-home
- Owner: runtimeverification
- Created: 2023-07-05T15:45:58.000Z (almost 3 years ago)
- Default Branch: main
- Last Pushed: 2024-05-14T14:29:53.000Z (about 2 years ago)
- Last Synced: 2024-05-14T15:49:38.494Z (about 2 years ago)
- Homepage: https://docs.runtimeverification.com/index/
- Size: 146 KB
- Stars: 1
- Watchers: 5
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
---
layout: landing
---
# Runtime Verification Docs
[](https://docs.runtimeverification.com/kontrol/)
[Kontrol](https://app.gitbook.com/o/MwuC1PgHx91Qm96rVCnq/s/T2KVb4tqbNdAsPxsEyPQ/ "mention") combines **KEVM** and Foundry, it grants developers the ability to perform formal verification without learning a new language or tool.
***
[](https://docs.runtimeverification.com/simbolik/)
[Simbolik](https://app.gitbook.com/o/MwuC1PgHx91Qm96rVCnq/s/WhAuD1DmzZoWPS62YwmQ/) is a powerful symbolic debugger tailored for debugging Solidity smart contracts. It leverages the capabilities of the **K** framework and employs symbolic execution techniques to meticulously identify potential vulnerabilities in smart contracts.
***
[](https://docs.runtimeverification.com/kasmer/)
[Kasmer](https://app.gitbook.com/o/MwuC1PgHx91Qm96rVCnq/s/LNjJhIy8IvwZQiEZCgXW/ "mention") is a tool based on rigorous formal semantics that provides property testing and verification for the MultiversX blockchain.
***
[](https://docs.runtimeverification.com/ercx)
[ERCx](https://app.gitbook.com/o/MwuC1PgHx91Qm96rVCnq/s/ywbjiQ7KftDuGzYwEwOp/ "mention") a tool built to check the _conformance_ of a contract to the [ERC (Ethereum Request for Comments) standards](https://eips.ethereum.org/erc).
***
[](https://docs.runtimeverification.com/kaas)
[KaaS](https://app.gitbook.com/s/uVN3ospSdbIsN8UHDZSg/overview/kaas "mention") CI integrated, cloud-based symbolic execution accessible via an API
[komet]((https://docs.runtimeverification.com/komet/)
### Join Us
Please come and join us in [discord](https://discord.com/invite/CurfmXNtbN) and let us know what you would like us to do next. And, if by any chance you are looking for a career change or you are a student looking for an internship, [come and talk to us](https://runtimeverification.com/careers)! We are always looking for exceptional individuals with a passion for formal methods and **K** to join the team in our office in Urbana, Singapore, or remotely from anywhere in the world.