skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Robust Digital Computation in the Physical World.

Book ·

Abstract not provided.

Research Organization:
Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
Sponsoring Organization:
USDOE National Nuclear Security Administration (NNSA)
DOE Contract Number:
Report Number(s):
SAND2018-0988B; 660274
Country of Publication:
United States

References (26)

Modeling in Event-B January 2010
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems book January 1992
Equivalence of the Arbiter, the Synchronizer, the Latch, and the Inertial Delay journal July 1983
Interactive Theorem Proving and Program Development book January 2004
Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives book January 2012
Algorithm-based fault tolerance applied to high performance computing journal April 2009
NuSMV 2: An OpenSource Tool for Symbolic Model Checking book January 2002
Counterexample-guided abstraction refinement for symbolic model checking journal September 2003
The complexity of theorem-proving procedures conference January 1971
Modeling Cyber–Physical Systems journal January 2012
Assessing System Vulnerability Using Formal Verification Techniques book January 2012
The theory of hybrid automata conference January 1996
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics journal November 2015
Deriving specifications from requirements: an example conference January 1995
A Proposal for Model-Based Safety Analysis conference January 2005
Buridan’s Principle journal April 2012
Digital system robustness via design constraints: The lesson of formal methods
  • Mayo, Jackson R.; Armstrong, Robert C.; Hulette, Geoffrey C.
  • 2015 9th Annual IEEE International Systems Conference (SysCon), 2015 Annual IEEE Systems Conference (SysCon) Proceedings
conference April 2015
Leveraging Abstraction to Establish Out-of-Nominal Safety Properties book January 2016
Computer systems are dynamical systems journal September 2009
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) book January 2008
Classes of recursively enumerable sets and their decision problems journal February 1953
Iterative Methods for Sparse Linear Systems book January 2003
In-Situ Mitigation of Silent Data Corruption in PDE Solvers conference January 2016
Verification-Guided Soft Error Resilience conference April 2007
A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults journal January 2016
Formal methods: Practice and experience journal October 2009