Robust Digital Computation in the Physical World.

Mayo, Jackson; Armstrong, Robert C.; Hulette, Geoffrey Compton; Salloum, Maher; Smith, Andrew Michael

doi:10.1007/978-3-319-98935-8_1

Robust Digital Computation in the Physical World.

Book · Sun Dec 31 23:00:00 EST 2017

DOI:https://doi.org/10.1007/978-3-319-98935-8_1· OSTI ID:1670855

Mayo, Jackson; Armstrong, Robert C.; Hulette, Geoffrey Compton; Salloum, Maher; Smith, Andrew Michael

Abstract not provided.

View Book

Research Organization:: Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)

Sponsoring Organization:: USDOE National Nuclear Security Administration (NNSA)

DOE Contract Number:: AC04-94AL85000

OSTI ID:: 1670855

Report Number(s):: SAND2018-0988B; 660274

Country of Publication:: United States

Language:: English

References (26)

Leveraging Abstraction to Establish Out-of-Nominal Safety Properties Mayo, Jackson R.; Armstrong, Robert C.; Hulette, Geoffrey C. Communications in Computer and Information Science https://doi.org/10.1007/978-3-319-29510-7_10	book	January 2016
Verification-Guided Soft Error Resilience Seshia, Sanjit A.; Li, Wenchao; Mitra, Subhasish 2007 Design, Automation & Test in Europe Conference & Exhibition https://doi.org/10.1109/DATE.2007.364501	conference	April 2007
Classes of recursively enumerable sets and their decision problems Rice, H. G. Transactions of the American Mathematical Society, Vol. 74, Issue 2 https://doi.org/10.1090/S0002-9947-1953-0053041-6	journal	February 1953
Modeling Cyber–Physical Systems Derler, P.; Lee, E. A.; Vincentelli, A. S. Proceedings of the IEEE, Vol. 100, Issue 1 https://doi.org/10.1109/JPROC.2011.2160929	journal	January 2012
Deriving specifications from requirements: an example Jackson, Michael; Zave, Pamela Proceedings of the 17th international conference on Software engineering - ICSE '95 https://doi.org/10.1145/225014.225016	conference	January 1995
Iterative Methods for Sparse Linear Systems Saad, Yousef https://doi.org/10.1137/1.9780898718003	book	January 2003
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems Alur, Rajeev; Courcoubetis, Costas; Henzinger, Thomas A. Hybrid Systems https://doi.org/10.1007/3-540-57318-6_30	book	January 1992
Algorithm-based fault tolerance applied to high performance computing Bosilca, George; Delmas, Rémi; Dongarra, Jack Journal of Parallel and Distributed Computing, Vol. 69, Issue 4 https://doi.org/10.1016/j.jpdc.2008.12.002	journal	April 2009
Modeling in Event-B Abrial, Jean-Raymond https://doi.org/10.1017/CBO9781139195881		January 2010
Buridan’s Principle Lamport, Leslie Foundations of Physics, Vol. 42, Issue 8 https://doi.org/10.1007/s10701-012-9647-7	journal	April 2012
A Proposal for Model-Based Safety Analysis Joshi, A.; Miller, S. P.; Whalen, M. 24th Digital Avionics Systems Conference https://doi.org/10.1109/DASC.2005.1563469	conference	January 2005
Formal methods: Practice and experience Woodcock, Jim; Larsen, Peter Gorm; Bicarregui, Juan ACM Computing Surveys, Vol. 41, Issue 4 https://doi.org/10.1145/1592434.1592436	journal	October 2009
NuSMV 2: An OpenSource Tool for Symbolic Model Checking Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico Computer Aided Verification https://doi.org/10.1007/3-540-45657-0_29	book	January 2002
Interactive Theorem Proving and Program Development Bertot, Yves; Castéran, Pierre Texts in Theoretical Computer Science An EATCS Series https://doi.org/10.1007/978-3-662-07964-5	book	January 2004
The complexity of theorem-proving procedures Cook, Stephen A. Proceedings of the third annual ACM symposium on Theory of computing - STOC '71 https://doi.org/10.1145/800157.805047	conference	January 1971
Assessing System Vulnerability Using Formal Verification Techniques Fey, Görschwin Mathematical and Engineering Methods in Computer Science https://doi.org/10.1007/978-3-642-25929-6_4	book	January 2012
The theory of hybrid automata Henzinger, T. A. Proceedings 11th Annual IEEE Symposium on Logic in Computer Science https://doi.org/10.1109/LICS.1996.561342	conference	January 1996
In-Situ Mitigation of Silent Data Corruption in PDE Solvers Salloum, Maher; Mayo, Jackson R.; Armstrong, Robert C. Proceedings of the ACM Workshop on Fault-Tolerance for HPC at Extreme Scale - FTXS '16 https://doi.org/10.1145/2909428.2909433	conference	January 2016
A Robust Technique to Make a 2D Advection Solver Tolerant to Soft Faults Strazdins, Peter; Harding, Brendan; Lee, Chung Procedia Computer Science, Vol. 80 https://doi.org/10.1016/j.procs.2016.05.505	journal	January 2016
Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume Certified Programs and Proofs https://doi.org/10.1007/978-3-642-35308-6_22	book	January 2012
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) Platzer, André; Quesel, Jan-David Automated Reasoning https://doi.org/10.1007/978-3-540-71070-7_15	book	January 2008
Computer systems are dynamical systems Mytkowicz, Todd; Diwan, Amer; Bradley, Elizabeth Chaos: An Interdisciplinary Journal of Nonlinear Science, Vol. 19, Issue 3 https://doi.org/10.1063/1.3187791	journal	September 2009
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics Hulette, Geoffrey C.; Armstrong, Robert C.; Mayo, Jackson R. Electronic Notes in Theoretical Computer Science, Vol. 317 https://doi.org/10.1016/j.entcs.2015.10.008	journal	November 2015
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 https://doi.org/10.1109/SYSCON.2015.7116737	conference	April 2015
Equivalence of the Arbiter, the Synchronizer, the Latch, and the Inertial Delay No authors listed IEEE Transactions on Computers, Vol. C-32, Issue 7, p. 603-614 https://doi.org/10.1109/TC.1983.1676292	journal	July 1983
Counterexample-guided abstraction refinement for symbolic model checking Clarke, Edmund; Grumberg, Orna; Jha, Somesh Journal of the ACM, Vol. 50, Issue 5 https://doi.org/10.1145/876638.876643	journal	September 2003

Similar Records

Robust Digital Computation in the Physical World.

Conference · Sat Dec 31 23:00:00 EST 2016 · OSTI ID:1427986

Adapting SOCOM to an Electrified World.

Book · Fri Jan 31 23:00:00 EST 2020 · OSTI ID:1617838

Will Nanoscience and Nanomaterials ever Change the World?.

Book · Mon Oct 01 00:00:00 EDT 2018 · OSTI ID:1530164

Robust Digital Computation in the Physical World.

Citation Formats

References (26)

Similar Records

Related Subjects