correctness

There are 1 repository under correctness topic.

• codee-com / open-catalog

  A collaborative effort to consolidate expert knowledge on code guidelines for the correctness, modernization, security, portability, and optimization of code written in Fortran, C, and C++ programming languages

  ccorrectnessfortranmodernizationoptimizationportabilitysecurity
  Language:Fortran 92

• pl3onasm / Programming-fundamentals

  Exercises and exam solutions for programming in C and Daphny (1st-year CS course)

  ccorrectnessdafnyexam-practiceexam-solutionsimperative-programmingprogram-proofsprogramming-fundamentalsrecursiontraining-materialsuniversity-of-groningen
  Language:C 15

• ernius / mergesort

  Merge sort correctness proof

  agdacorrectnessproofsortsort-correctness-proof
  Language:Agda 11

• ligurio / molly

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

  consistencycorrectnessfault-injectionjepsenlinearizabilityluaserializable
  Language:Lua 10

• tudasc / MPI-Corrbench

  A benchmark suite to evaluate MPI correctness tools.

  mpihpccorrectnessmessage-passing-interface
  Language:C 9

• asatarin / testing-sql-databases

  Curated list of materials on testing SQL database engines

  correctnessdatabasefuzzingtesting
  7

• 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. This protocol is being finalised within the IETF and deployed by Google, Cloudlfare, Facebook and many others.

  quicprotocolverificationextensionnetworktestingformal-specificationthesiscorrectness
  5

• resonatehq / durable-promise-test-harness

  This test harness is a verification system that checks implementations for conformance to the Durable Promise Specification.

  concurrencylinearizabilitypseudo-randomload-testingcorrectnessperformance-analysisdistributed-systemsgolang
  Language:Go 4

• pqnelson / ml

  A Study in Implementing Functional Programming Languages

  languageparsercfunctional-programming-languagecorrectnesshoare-logictwelfacslinterpreterabstract-machinecompiler
  Language:C 2

• 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

  correctnessjavajunitobject-oriented-designunit-testing
  Language:Java 2

• klassen-software-solutions / gocontract

  GO tools to assist with "programming by contract"

  gogolangcontractcontracts-programmingdesign-by-contractcorrectness-evaluationcorrectness
  Language:Go 0

• topicland / TopicLand

  Human-verified knowledge graphs with AI.

  knowledge-graphcorrectnessvisualization
  Language:Vue 0

• 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

  correctnesscucumbergradlejavalanguagereadability
  Language:Java 0

• abcdjdj / proof_correctness

  A collection of proofs of correctness for various algorithms in LaTeX

  proofcorrectnessalgorithms
  Language:TeX

• aqjune / twinsem

  coqcorrectnessllvm-irmemory-model
  Language:Coq

• klassen-software-solutions / ksscontract

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

  c-plus-pluscontracts-programmingcontractcorrectness-evaluationcorrectnessdesign-by-contract
  Language:C++