3 ms·
"Formal verification of software programs involves proving that a program satisfies a formal specification of its behavior." It sounds a lot like writing your
by youeseh 8y ago
"Formal verification of software programs involves proving that a program satisfies a formal specification of its behavior."
It sounds a lot like writing your specs as tests that are then satisfied by the implementation code.
- deleted 8y ago[deleted]
- chimpburger 8y agoTLA+ is for building and verifying a formal model of the program (a blueprint), not for verifying the implementation.