Pinned Loading

1. korn korn Public

   Korn - C Verification with Loop Invariants and Summaries

   C 12 1

2. cuvee cuvee Public

   A tool for Boogie and SMT-LIB engineering

   Boogie 5 2

3. minihorn minihorn Public

   Toy Verifier for Dafny by translation into SMT-LIB Horn format

   Scala

4. Contract-LIB/contract-lib-java Contract-LIB/contract-lib-java Public

   Contract-LIB proposal and tool-chain

   Java 3 1

5. lwar lwar Public

   Forked from axel-habermaier/lwar

   lwar is a 2.5D multiplayer space shooting game.

   C#

6. ERATOMMSD/falstar ERATOMMSD/falstar Public

   Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input

   Scala 7 2