Skip to main content

Search results for "formal verification"

Viewing 1 - 20 of 77 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)

Privacy and Security in the 21st Century: Who Knows and Who Controls?: Proceedings of a Forum  (2019)

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

From Maps to Models: Augmenting the Nation's Geospatial Intelligence Capabilities  (2016)

Consensus Study Report

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

Funding a Revolution: Government Support for Computing Research  (1999)

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)