rv_1_0_0.md

Formal Verification Results

Auditor

• Runtime Verification (https://github.com/runtimeverification)

Notes

The formal verification was based on commit 427d6f7e779431333c54bcb4d4cde31e4d57ce96

Critical findings have been fixed with #90

Files

• Formal Verification Report