Popular repositories Loading

1. itc-testing-tools itc-testing-tools Public

   This repo contains several scripts that can be used to run several static analysis tools over the ITC-Toyota benchmark.

   Python 5 3

2. itc-benchmarks itc-benchmarks Public

   Forked from regehr/itc-benchmarks

   The modified static analysis benchmarks from Toyota ITC.

   C 4 4

3. k k Public

   Forked from kframework/k-legacy

   The K tools

   Java 1

4. investigating-smart-contracts-platforms investigating-smart-contracts-platforms Public

   Investigate the opportunity of a Coq semantics of the Ethereum Virtual Machine.

   1

5. z3-ai-model-verification z3-ai-model-verification Public

   This project contains several experiments using Z3 to verify artificial inteligence models.

   SMT 1

6. k-semantics k-semantics Public

   Forked from alk-language/k-semantics

   This repository includes the K specifications of the Alk language and of its dialects.

   Perl