Proposal: Verified DAML applications with Quint - Specification-Driven Testing and AI-Assisted Smart Contract Development for Canton
RejectedPR- SIG
- daml-tooling
- Champion
- —
- Author org
- —
- Ask
- source pending
Abstract
This proposal aims to bring formal specification and model-based testing to DAML applications on Canton. It delivers:
Milestones
| Title | Due date | Target | Amount (CC) |
|---|---|---|---|
| Quint connect for DAML | — | — | — |
| Spec-Driven DAML code generation | — | — | — |
| Total | — | ||
Budget impact
- % of approved-to-date
- —
- % if all RFV pass
- —
RFV scenario unavailable — using approved-to-date as denominator (degraded mode).
- Ask (CC)
- amount pending
Comments by org
7 comments · 3 orgs · last activity Jul 15, 2026
| Organisation | Comments |
|---|---|
| FTP | 3 |
| Unknown | 2 |
| Canton Foundation | 1 |
| informalsystems | 1 |