dafny
Here are 58 public repositories matching this topic...
Tesis: Lógica de Programación con Dafny
-
Updated
Sep 6, 2021 - Dafny
A repository containing all the laboratories developed for the Formal Methods in Software Engineering Course, part of the Master's Degree in Software Engineering.
-
Updated
Jan 21, 2023 - Dafny
school project: a formally verificated tokeneer system built in dafny
-
Updated
Feb 13, 2018
2nd Software Specification Project
-
Updated
Dec 12, 2018 - C#
Library of formally verified abstract data types in Dafny.
-
Updated
Apr 24, 2024 - Dafny
Verified code written in the Dafny programming language.
-
Updated
Feb 12, 2017 - JavaScript
-
Updated
Feb 12, 2017 - HTML
About Coursework 1 for ELEC70056: Hardware and Software Verification, Software Component - Verification of code using Dafny and the theorem-prover Isabelle
-
Updated
Dec 16, 2022 - Isabelle
Métodos Formales de Desarrollo de Software
-
Updated
Jan 8, 2021 - Dafny
Lógica de Programación con KeY y Dafny
-
Updated
Aug 14, 2023 - Java
📝📏📄Space-Recog-PDF-Secure ✨🐍 is a Python script designed to format text 📝 into paragraphs with precise width-based 📏 justification. This tool takes input text 📄 and aligns it within specified column widths, optimizing the distribution of white spaces ⚖️ between words to achieve balanced right-margin 🧮 justification.
-
Updated
Sep 1, 2023 - Python
Improve this page
Add a description, image, and links to the dafny topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dafny topic, visit your repo's landing page and select "manage topics."