- Runtime Verification (https://github.com/runtimeverification)
The formal verification was based on commit 427d6f7e779431333c54bcb4d4cde31e4d57ce96
Critical findings have been fixed with #90
The formal verification was based on commit 427d6f7e779431333c54bcb4d4cde31e4d57ce96
Critical findings have been fixed with #90