Inferring and asserting distributed system invariants

Article Details
Title:	Inferring and asserting distributed system invariants
Article URLs:	https://doi.org/10.1145/3180155.3180199 http://ieeexplore.ieee.org/document/8453196
Alternative Article URLs:
Authors:	Stewart Grant	University of British Columbia
	Hendrik Cech	University of Bamberg
	Ivan Beschastnikh	University of British Columbia
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://bitbucket.org/bestchai/dinv/src/default/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/icse/GrantCB18
Author Comments:

ACM/IEEE International Conference on Software Engineering, ICSE 2018