A collaborative effort to consolidate expert knowledge on code guidelines for the correctness, modernization, and optimization of code written in C, C++, and Fortran programming languages
-
Updated
Dec 24, 2024 - Fortran
#
correctness
Here are 17 public repositories matching this topic...
Find out if your data is what you think it is
-
Updated
Dec 30, 2024 - Python
Imperative programming
c recursion training-materials dafny correctness programming-fundamentals university-of-groningen imperative-programming exam-practice exam-solutions program-proofs
-
Updated
Dec 11, 2024 - C
Merge sort correctness proof
-
Updated
May 21, 2015 - Agda
Framework for distributed system's verification, with fault injection.
-
Updated
Nov 25, 2024 - Lua
A benchmark suite to evaluate MPI correctness tools.
-
Updated
Jan 24, 2023 - C
Curated list of materials on testing SQL database engines
-
Updated
Nov 2, 2023
Formal methods play an important role in validating networking protocols. During the development of TLS 1.3, formal methods have helped to identify several issues with draft versions of the protocol that have been fixed before finalising the protocol. In the transport layer, the QUIC protocol has been proposed to replace the HTTP/TLS/TCP stack. …
-
Updated
Dec 30, 2021
This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.
golang distributed-systems concurrency load-testing performance-analysis correctness pseudo-random linearizability
-
Updated
Jan 1, 2024 - Go
A Study in Implementing Functional Programming Languages
c language parser interpreter compiler correctness acsl twelf hoare-logic abstract-machine functional-programming-language
-
Updated
Aug 17, 2019 - C
Design a class structure for a UNO game that allows multiple players to participate. The game should support the standard rules of UNO, including drawing cards, playing cards, skipping turns, reversing the direction of play, and declaring a winner
-
Updated
May 30, 2023 - Java
Human-verified knowledge graphs with AI.
-
Updated
Dec 26, 2023 - Vue
TrueJ is a Java-like language that uses the Variable-Value approach to increase a programmer's understanding and confidence in their programs
-
Updated
Aug 19, 2022 - Java
A collection of proofs of correctness for various algorithms in LaTeX
-
Updated
Dec 17, 2019 - TeX
C++ tools to assist with "programming by contract"
-
Updated
Aug 27, 2021 - C++
GO tools to assist with "programming by contract"
-
Updated
Mar 18, 2020 - Go
-
Updated
Oct 15, 2018 - Coq
Improve this page
Add a description, image, and links to the correctness topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the correctness topic, visit your repo's landing page and select "manage topics."