Formal Verification of Zero-Downtime Database Migration in PlusCal (biradarganesh25.github.io)
Formal verification can be used to analyze complex systems to ensure their correctness.
Formal Verification, Database Migration, Software, PlusCal
48 points by code_monk666 48 days ago | 6 comments