Stainless for smart contracts
Stainless fork aimed at smart contracts
Stainless is a tool for verifying Scala programs developed by the LARA. This fork can perform verification of Smart Contracts.
Code AnalysisStatic Analysis
Key facts
Maturity
Support
C4DT
Lab
Key facts
Maturity
Support
C4DT
Lab
- C4DT work
- Technical
- Presentation
- Demo
Status: Retired
Timeline: 2021/Q2 - updated demonstrator with more explanations
Timeline: 2021/Q2 - updated demonstrator with more explanations
Lab for Automated Reasoning and Analysis
Lab for Automated Reasoning and Analysis
We develop precise automated reasoning techniques: tools, algorithms and languages. The goal of these techniques is to help construction of verified computer systems.
This page was last edited on 2024-04-12.
This page was last edited on 2024-04-12.