CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Verifying high-confidence interactive systems: Electronic voting and beyond
Authors
SA Seshia
Publication date
1 December 2013
Publisher
eScholarship, University of California
Abstract
Human interaction is central to many computing systems that require a high level of assurance. We term such systems as high-confidence interactive systems. Examples of such systems include aircraft control systems (interacting with a pilot), automobiles with self-driving features (interacting with a driver), medical devices (interacting with a doctor), and electronic voting machines (interacting with a voter). A major challenge to verifying the correct operation of such systems is that it is difficult to formally specify the human user's view of correct operation and perception of the input/output interface. In this paper, we describe a promising approach towards addressing this challenge that combines formal verification with systematic testing by humans. We describe an illustrative application of this approach to electronic voting in the U.S., and outline directions for future work. © Springer-Verlag 2013
Similar works
Full text
Available Versions
Sustaining member
eScholarship - University of California
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:escholarship.org:ark:/1303...
Last time updated on 25/12/2021