Jan Friso Groote, François Monin, Jan Springintveld. A computer checked algebraic verification of a distributed summation algorithm. Formal Asp. Comput., 17(1):19-37, 2005. [doi]
@article{GrooteMS05,
title = {A computer checked algebraic verification of a distributed summation algorithm},
author = {Jan Friso Groote and François Monin and Jan Springintveld},
year = {2005},
doi = {10.1007/s00165-004-0052-7},
url = {http://dx.doi.org/10.1007/s00165-004-0052-7},
tags = { algebra},
researchr = {https://researchr.org/publication/GrooteMS05},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {17},
number = {1},
pages = {19-37},
}