3 ms·
There is TLA+ for verifying specifications. Here is a talk by its creator: https://www.youtube.com/watch?v=-4Yp3j_jk8Q https://www.youtube.com/watch?v=-4Yp3j_j
by danuker 4y ago
There is TLA+ for verifying specifications. Here is a talk by its creator:
https://www.youtube.com/watch?v=-4Yp3j_jk8Q https://www.youtube.com/watch?v=-4Yp3j_jk8Q