correctness-evaluation

There are 0 repository under correctness-evaluation topic.

• siemens / drace

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

  race-detectionconcurrencycorrectness-evaluationdynamorio-client
  Language:C++ 38

• htaghizadeh / PersianStemmingDataset

  Persian Stemming data-set in order to evaluate new stemmers

  datasetstemmercorpusevaluationpersianlinguisticscorrectness-evaluationpersian-nlppersian-languagepersian-stemmer
  Language:Pascal 15

• klassen-software-solutions / gocontract

  GO tools to assist with "programming by contract"

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

• dusteye / Horae

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

  distributed-systemscorrectness-evaluationparallel-programming

• klassen-software-solutions / ksscontract

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

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