How Good Is Your Formal Specification Mutation Testing To The Rescue! by Chandrakana Nandi
HTML-код
- Опубликовано: 27 ноя 2023
- The result of a smart contract verification tool is only as good as the specification. But how does one know if their specification is good?
This is a talk from Solidity Summit 2023 by Chandrakana Nandi about improving your formal specification using mutation testing.
