Accessible Software Verification with Dafny
| Autor: | K. Rustan M. Leino |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Correctness
business.industry Computer science Software development 020207 software engineering 02 engineering and technology Software quality Interactivity Software 020204 information systems Formal specification 0202 electrical engineering electronic engineering information engineering business Software engineering Formal verification Software verification |
| Zdroj: | IEEE Software. 34:94-97 |
| ISSN: | 1937-4194 0740-7459 |
| DOI: | 10.1109/ms.2017.4121212 |
| Popis: | Dafny is a formal-verification system that takes a language-based approach. Its programming language includes the necessary specification and proof facilities. The idea is to provide developers with an immersive experience that feels like programming but encourages thinking about program correctness every step of the way. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|