|
|
|
|
|
|
by hwayne
1816 days ago
|
|
|
It's formal verification of an abstract machine as opposed to running code. The problem is that formal methods as a field doesn't yet have a rich enough vocabulary to distinguish between its flavors. I use "code verification" and "design verification", which is a little more specific, but has its own issues. Is TLA+ a sandwich? |
|
|