Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
- Germany
- joulook.github.io
- @Mh_khoshechin
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
4
stars
written in Clojure
Clear filter
A framework for distributed systems verification, with fault injection
A Clojure model checker (using the TLA+/TLC engine)