Bug Injection
One useful way to check specifications is by injecting bugs into the verified contracts and checking that the Prover finds the injected bugs.
Todo
This section should be expanded.
One useful way to check specifications is by injecting bugs into the verified contracts and checking that the Prover finds the injected bugs.
Todo
This section should be expanded.