|
|
|
|
|
|
by jawatson
3655 days ago
|
|
|
I may be stepping outside of my area of expertise, but doesn't this seem like a perfect place to apply formal verification tools? As long as the contract isn't too long, it should be possible to ensure that the implementation exactly matches the specification. |
|
|