https://konnov.phd [email protected]
konnov.phd Vienna, Austria Independent Security and Formal Methods Research Scientist
[email protected]
Byzantine model checker
konnov