|
|
|
|
|
|
by quantumhobbit
1572 days ago
|
|
|
I’ve always wanted to try this out in practice. It seems like it would be a great way to find gaps in the specification. There was some research in the early 90’s over multiple implementations as a way to avoid bugs. I still feel like it was dismissed prematurely or could be revisited. |
|
|