Get the latest tech news
Formal Verification of Zero-Downtime Database Migration in PlusCal
verification can be used to analyze complex systems to ensure their correctness. Formal verification is the process of checking that a system satisfies specific properties (which are specified by the user) across all possible states.
Formal verification is the process of checking that a system satisfies specific properties (which are specified by the user) across all possible states. Imagine debugging this error after writing out the entire migraiton algorithm: it would've hard to do and a very real chance that it'd have been missed altogether. Important information like this when discovered early in the design phase can save a lot of time during implementation (for e.g here we would need to make sure that newdb has support for conditional statements when choosing the database)
Or read this on Hacker News