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.
Documentation about this project and the Colorado RLA system includes:
- a User Manual (docx) with an overview of the system,
- a County Run Book (docx) and State Run Book (docx) 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 is available.
- 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 (Principled Computer Scientist) RLA core computations implementation
- Joseph Kiniry (Principled CEO and Chief Scientist) Project Head, author of formal specification, design and implementation of ASMs and 2FA
- Michael Kiniry (Principled Documentarian) User-facing documentation
- Neal McBurnett (Principled Elections Auditing Expert and Computer Scientist) RLA expert, design and implementation of data export application and automatic server test infrastructure
- Morgan Miller (Principled Usability Specialist) UX expert, conducted interviews with CDOS and County personnel, initial UI design
- Joe Ranweiler (Principled Computer Scientist) Principal author of RLA Tool Client
- Stephanie Singer (Principled Elections Expert and Data Scientist) Query design for data export application, user-facing documentation
- Daniel Zimmerman (Principled Computer Scientist) Principal author of RLA Tool Server
More information about our team members is available.