output
20142026
most citedCREMP: Conformer-rotamer ensembles of macrocyclic peptides for machine learning

19 citations

researchers with a paper here
collaborating institutions
Showing 2019Show all

1 paper · 1 filter

cs.DC2019

Invariant Safety for Distributed Applications

Sreeja Nair, Gustavo Petri, Marc Shapiro

We study a proof methodology for verifying the safety of data invariants of highly-available distributed applications that replicate state. The proof is (1) modular: one can reason…