#

correctness-evaluation

Here are 5 public repositories matching this topic...

siemens / drace

Data-race detector for windows applications - built on top of DynamoRIO

concurrency race-detection correctness-evaluation dynamorio-client

Updated Jun 29, 2021
C++

htaghizadeh / PersianStemmingDataset

Persian Stemming data-set in order to evaluate new stemmers

evaluation corpus linguistics dataset persian persian-language stemmer persian-nlp persian-stemmer correctness-evaluation

Updated Dec 16, 2016
Pascal

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

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++

dusteye / Horae

A framework for parallel or distributed program easy to case recurrent and correctness verification

distributed-systems correctness-evaluation parallel-programming

Updated Sep 9, 2018

Improve this page

Add a description, image, and links to the correctness-evaluation 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-evaluation topic, visit your repo's landing page and select "manage topics."