Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics.

Conference · Sat Mar 01 00:00:00 EST 2014

DOI:https://doi.org/10.1016/j.entcs.2015.10.008· OSTI ID:1141598

Hulette, Geoffrey Compton; Armstrong, Robert C.; Mayo, Jackson; Ruthruff, Joseph.

Abstract not provided.

• Research Organization: Sandia National Lab. (SNL-CA), Livermore, CA (United States)
• Sponsoring Organization: USDOE National Nuclear Security Administration (NNSA)
• DOE Contract Number: AC04-94AL85000
• OSTI ID: 1141598
• Report Number(s): SAND2014-2587C; 506571
• Resource Relation: Journal Volume: 317; Conference: Proposed for presentation at the Seventh International Workshop on Numerical Software Verification held July 17-18, 2014 in Vienna, Austria.
• Country of Publication: United States
• Language: English