Modeling and Analyzing Faults to Improve Election Process Robustness


This paper presents an approach for continuous process improvement and illustrates its application to improving the robustness of election processes. In this approach, the Little-JIL process definition language is used to create a precise and detailed model of an election process. Given this process model and a potential undesirable event, or hazard, a… (More)
View Slides


  • Presentations referencing similar topics