I'm interested in formal verification and am working on the @stateright model checker for verifying the correctness of distributed systems.
Stars
0
results
for forked starred repositories
written in Dafny
Clear filter