4 ms·
Is the database and/or specification open source? A formal verification of a distributed system sounds very interesting.
by pka 10y ago
Is the database and/or specification open source? A formal verification of a distributed system sounds very interesting.
- pron 10y agoNo; not yet, at least. But this is a lecture series about using TLA+ for distributed algorithms: https://github.com/tlaplus/DrTLAPlus https://github.com/tlaplus/DrTLAPlus There's also a Coq framework called Verdi (http://verdi.uwplse.org http://verdi.uwplse.org) for formalizing distributed systems, but I don't know much about it.
- pka 10y agoNice, thanks!