Mike Dodds (@septract)
github

septract

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    17
  • Global Rank 708,253 (Top 25 %)
  • Followers 13
  • Registered over 14 years ago
  • Most used languages
    OCaml
         33.3 %
    F#
         33.3 %
    Alloy     33.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 122,261
  • Country Ranking
    Alloy     17
    F#
         198
    OCaml
         273

Top repositories

1

jstar-old

jStar is a verification tool based on separation logic.
OCaml
11
star
2

starling-tool

An automatic verifier for concurrent algorithms.
F#
7
star
3

stellite-tool

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