Factory > Showcase > Stainless for smart contracts
Name:
Stainless for smart contracts
Description:
Stainless fork aimed at smart contracts
Professor — Lab:
Viktor Kunčak — Lab for Automated Reasoning and Analysis
Contacts:
Viktor Kunčak Nicolas Voirol
Home page:
Stainless for smart contracts
Technical description:
Stainless is a tool for verifying Scala programs developed by the LARA. This fork can perform verification of Smart Contracts.
Project status:
inactive — entered showcase: 2022-09-26 — entry updated: 2024-04-12
Factory Development:
2021/Q2 - updated demonstrator with more explanations
C4DT Contact:
Christian Grigis
Source code:
Lab GitHub - last commit: 2020-10-03
Code quality:
Intermediate
Project type:
Library, Application
Programming language:
Scala
License:
Apache-2.0