counterexample

There are 0 repository under counterexample topic.

• SophieBosio / contra

  A friendly functional language for finding counterexamples 🎯

  counterexamplehaskellpbtproperty-basedquickchecksmtsmt-solving
  Language:Haskell 7

• catseye / Eightebed

  MIRROR of https://codeberg.org/catseye/Eightebed : A C-like language with explicit free which is nonetheless safe

  static-analysisgarbage-collectionmemory-safetycounterexample
  Language:Python 1

• dynaroars / igen

  a dynamic analysis tool to find interactions among configuration options in highly-configurable software.

  counterexamplesoftware-testingdynamic-analysisdecision-treecode-coverageconfigurable-software
  Language:Python 1

• ProofEventCheckers / Ouzo

  Proof that 20 glasses of Ouzo don't matter by Mathematical Induction

  counterexampleinductionproof
  0