Popular repositories Loading

1. jstar-old jstar-old Public

   jStar is a verification tool based on separation logic.

   OCaml 11 3

2. starling-tool starling-tool Public

   An automatic verifier for concurrent algorithms.

   F# 7 4

3. stellite-tool stellite-tool Public

   A tool for verifying C/C++ program transformations. Based on Alloy.

   Alloy 2

4. rs_training rs_training Public

   Forked from louismrose/rs_training

   Ruby

5. alloystar alloystar Public

   Forked from johnwickerson/alloystar

   Unofficial copy of the Alloy* tool's source code (http://alloy.mit.edu/alloy/hola/)

   Java

6. infer infer Public

   Forked from facebook/infer

   A static analyzer for Java, C, C++, and Objective-C

   OCaml