University of Michigan News company blog

Paxos automatically determined safe and secure

news.umich.edu published 2021-10-254 min read

In an important step toward ensuring the protocols that dictate how our networked services operate are safe, secure and running as expected, University of Michigan researchers have automated a technique called formal verification. Their system proves, without any human effort, that one of the mos

Points

159

HN comments

68

Submissions

1

Cited by

0 commenters

Systems & PerformanceSoftware Engineering2021

Related posts from the same era

How I cut GTA Online loading times by 70%

Mmeh.20213,883 points1,011 commentscited by 61 details

Nvidia releases open-source GPU kernel modules

NVIDIA Developer Blog20222,410 points392 commentscited by 12 details

An Unbelievable Demo

BBrendan Gregg20212,339 points482 commentscited by 5 details

MacOS Catalina: Slow by Design?

Allan Odgaard20202,031 points1,122 commentscited by 5 details

Why Discord is switching from Go to Rust

Discord Blog20201,582 points642 comments details

GNOME has no thumbnails in the file picker and my toilets are blocked

Jjayfax.neocities.org20211,505 points1,014 commentscited by 10 details