3 ms·
Formal verification is very powerful but still not full assurance. Fun fact: Testing and monitoring of Datomic has sometimes uncovered design flaws in underlyin
by stuarthalloway 2y ago
Formal verification is very powerful but still not full assurance. Fun fact: Testing and monitoring of Datomic has sometimes uncovered design flaws in underlying storages that formal verification missed.
- nine_k 2y agoWhat kind of flaws? I would expect performance problems.
- jupp0r 2y agoTo start with, you usually perform verification on a behavioral model and not on the code itself. This opens up the possibility that there are behavioral differences between the code itself and the model which wouldn't be caught.
- asa400 2y agoIs there anything I can read about what capabilities Datomic requires of the underlying storages it uses?