Skip to main content

Search results for "formal verification"

Filters: Division on Engineering and Physical Sciences DEPS ×
Viewing 1 - 20 of 50 results by relevance
Consensus Study Report

Computers at Risk: Safe Computing in the Information Age  (1991)

Proceedings

Artificial Intelligence to Assist Mathematical Reasoning: Proceedings of a Workshop  (2023)

Consensus Study Report

A 21st Century Cyber-Physical Systems Education  (2016)

Consensus Study Report

Trust in Cyberspace  (1999)

Consensus Study Report

An Assessment of Four Divisions of the Information Technology Laboratory at the National Institute of Standards and Technology: Fiscal Year 2018  (2018)

Proceedings

Beyond Spectre: Confronting New Technical and Policy Challenges: Proceedings of a Workshop  (2019)

Consensus Study Report

Information Technology Innovation: Resurgence, Confluence, and Continuing Impact  (2020)

Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues  (1997)

Protecting the Space Shuttle from Meteoroids and Orbital Debris  (1997)

Consensus Study Report

Basic Research in Information Science and Technology for Air Force Needs  (2006)

Consensus Study Report

An Assessment of Selected Divisions of the Information Technology Laboratory at the National Institute of Standards and Technology: Fiscal Year 2021  (2021)

Proceedings

Summary of a Workshop on Software Certification and Dependability  (2004)

Consensus Study Report

Toward a Safer and More Secure Cyberspace  (2007)

Consensus Study Report

Aging Avionics in Military Aircraft  (2001)

Consensus Study Report

State Voter Registration Databases: Immediate Actions and Future Improvements: Interim Report  (2008)

Statistical Software Engineering  (1996)

Consensus Study Report

Foundational Cybersecurity Research: Improving Science, Engineering, and Institutions  (2017)

Consensus Study Report

The Quality of Science and Engineering at the NNSA National Security Laboratories  (2013)

Consensus Study Report

2001-2002 Assessment of the Army Research Laboratory  (2003)

Proceedings

Cryptographic Agility and Interoperability: Proceedings of a Workshop  (2017)