#

correctness

Here are 14 public repositories matching this topic...

pl3onasm / Programming-fundamentals

Imperative programming

c recursion training-materials dafny correctness programming-fundamentals university-of-groningen imperative-programming exam-practice exam-solutions program-proofs

Updated Oct 7, 2024
C

ernius / mergesort

Merge sort correctness proof

proof sort agda correctness sort-correctness-proof

Updated May 21, 2015
Agda

ligurio / molly

Framework for distributed system's verification, with fault injection.

lua consistency fault-injection correctness jepsen serializable linearizability

Updated Oct 21, 2024
Lua

tudasc / MPI-Corrbench

A benchmark suite to evaluate MPI correctness tools.

hpc mpi correctness message-passing-interface

Updated Jan 24, 2023
C

resonatehq / durable-promise-test-harness

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

ElNiak / Toward-verification-of-QUIC-extensions

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. …

testing extension thesis network protocol verification quic correctness formal-specification

Updated Dec 30, 2021

pqnelson / ml

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

sgrprmnk / Swiggy

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

java unit-testing junit correctness object-oriented-design

Updated May 30, 2023
Java

topicland / TopicLand

Human-verified knowledge graphs with AI.

visualization knowledge-graph correctness

Updated Dec 26, 2023
Vue

aqjune / twinsem

coq correctness memory-model llvm-ir

Updated Oct 15, 2018
Coq

Variable-Value / TrueJ

TrueJ is a Java-like language that uses the Variable-Value approach to increase a programmer's understanding and confidence in their programs

java language gradle cucumber readability correctness

Updated Aug 19, 2022
Java

abcdjdj / proof_correctness

A collection of proofs of correctness for various algorithms in LaTeX

algorithms proof correctness

Updated Dec 17, 2019
TeX

klassen-software-solutions / ksscontract

C++ tools to assist with "programming by contract"

c-plus-plus contract contracts-programming correctness correctness-evaluation design-by-contract

Updated Aug 27, 2021
C++

klassen-software-solutions / gocontract

GO tools to assist with "programming by contract"

go golang contract contracts-programming correctness correctness-evaluation design-by-contract

Updated Mar 18, 2020
Go

Improve this page

Add a description, image, and links to the correctness topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the correctness topic, visit your repo's landing page and select "manage topics."