Taxonomic Search: byron OR cook
Results 1 - 10 of 30
Results
page
Program Co-chairs
Steering Committee
file
Abstract:
Modern software systems are ubiquitous and complex, often running on critical platforms ranging from human implant devices to nuclear power plant controls. How can we be sure that these programs will behave as intended? Programmers must first specify the correct behavior of their programs, and one widely accepted specification language is temporal logic. Despite decades of research in finite-state contexts and some adaptations of finite-state algorithms, we still lack scalable tools for proving temporal logic properties of software.
page
Hovering over speakers’ names will display titles in most browsers.
page
First NSF Secure and Trustworthy Cyberspace (SaTC)
Principal Investigators' Meeting
November 27-29, 2012 | National Harbor, Maryland
PROGRAM AGENDA
file
NSF/IARPA/NSA Workshop on the Science of Security
PROGRAM AGENDA
file
Dr. Ben Cook is currently acting senior manager of Sandia National Laboratories’ Information and Cognitive Sciences Group, which focuses on exploratory research in data analytics, visualization, cognitive science and mathematical modeling. This group also provides stewardship of Sandia’s Cyber Engineering Research Institute facility in New Mexico.
file
Abstract:
I will describe a new approach to the old problem of automatic temporal property verification. As well as leading to dramatic performance improvements over existing techniques, this approach also brings some light to a couple of age-old questions.
Biography:
