Researcher in Programming Language Theory and Formal Verification.
-
JetBrains Research
Stars
2
stars
written in Clojure
Clear filter
A framework for distributed systems verification, with fault injection
The command-line frontend to transactional consistency checkers for black-box databases