About the Authors

Andrew Brim

Roles Formal analysis, Software

andrew.brim@usu.edu

Affiliation Department of Computer Science, Utah State University, Logan, Utah, United States of America

Nicholas S. Flann

Roles Formal analysis

Affiliation Department of Computer Science, Utah State University, Logan, Utah, United States of America

Competing Interests

The authors have declared that no competing interests exist.