4 ms·
Fascinating info, thanks for sharing this with all the details! Didn't watch your youtube video but do you use any formal systems like TLA+ internally for valid
by mikmoila 3y ago
Fascinating info, thanks for sharing this with all the details! Didn't watch your youtube video but do you use any formal systems like TLA+ internally for validating your designs?
- jorangreef 3y agoThanks! Our TigerStyle talk is worth a quick watch, if only to get a feel for TB's safety and testing techniques indepth. It's certainly valuable to verify protocol specifications using formal methods. However, compared to TLA+, we use Deterministic Simulation Testing, which enables us to test the system as implemented, not only as specified.