Popular repositories Loading

1. 4M 4M Public

   4M Modeling language with golden executable model framework and several usage examples

   C 5 2

2. MP-trace-language MP-trace-language Public

   A trace language for using SMT solvers to verify executions of message passing programs.

   TeX 4 1

3. bio-mas bio-mas Public

   Bio-inspired MDP Models of Multi-agent Systems

   TeX 1

4. cwp-verification cwp-verification Public

   Verification techniques for Conceptual Work Products

   Java 1

5. SPIN-bpmn-cwp-verification-paper SPIN-bpmn-cwp-verification-paper Public

   TeX 1

6. sha3-verification sha3-verification Public

   SAW Verification of OpenSSL's SHA3 Implementation

   TeX 1