jonnadal
I'm interested in formal verification and am working on the @stateright model checker for verifying the correctness of distributed systems.
jonnadal's Followers
jonnadal doesn’t have any followers yet.
I'm interested in formal verification and am working on the @stateright model checker for verifying the correctness of distributed systems.
jonnadal doesn’t have any followers yet.