642 followers
"Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. (arXiv:1812.08949v1 [cs.LO])" #arXiv https://t.co/ylTMoxozEz
"Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking. (arXiv:1812.08949v1 [cs.LO])" #arXiv https://t.co/ylTMoxozEz