Assistant Professor @ National University of Singapore
-
National University of Singapore
- Singapore
- https://www.manuelrigger.at/
- @mrigger.bsky.social
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