@Inproceedings{EPTCS359.5, author = {Greve, David and Davis, Jennifer and Humphrey, Laura}, year = {2022}, title = {A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A}, editor = {Sumners, Rob and Chau, Cuong}, booktitle = {{\rm Proceedings Seventeenth International Workshop on the} ACL2 Theorem Prover and its Applications, {\rm Austin, Texas, USA, 26th-27th May 2022}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {359}, publisher = {Open Publishing Association}, pages = {33-47}, doi = {10.4204/EPTCS.359.5}, }