The ColoradoRLA system is software to facilitate risk-limiting audits at the state level, developed for Colorado's Department of State in July and August of 2017.
-
Blog announcement: Free & Fair to build risk-limiting audit system for State of Colorado
-
To be written: Project Background
-
To be written: Future Work
A document describing how to download, install, and use this system is found in the docs directory.
Current build status for the master branch:
Documentation about this project and the Colorado RLA system includes:
- a User Manual (pdf) with an overview of the system,
- a run book for system users,
- a description of our development process and methodology,
- a developer document that contains our developer instructions, including the project history, technologies in use, dependencies, how to build the system, how we perform quality assurance, how we perform validation and verification, and what the build status of the project is,
- the system requirements,
- the formal system specification,
- the means by which we validate and verify the system,
- a glossary of the domain terminology used in the system,
- a full bibliography for the project is available, including artifacts which we are permitted to locally mirror, is found in the docs/bibliography directory,
- a document describing how we perform project management,
- the license under which this software is made available, and
- all contributors to the design and development of this system are listed below.
- Joey Dodds (role) contributions
- Joseph Kiniry (role) contributions
- Neal McBurnett (role) contributions
- Morgan Miller (role) contributions
- Joe Ranweiler (role) contributions
- Daniel Zimmerman (role) contributions
More information about our team members is available.