At a Glance
| Applications | Program Prover |
| Developers | Amazon Web Services |
| Inputs | Dafny |
| Interfaces | CLI VSCode |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
Dafny is a verification-aware programming language that has native support for recording specifications and is equipped with a static program verifier.