skip to main content

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

Abstract not provided.
Authors:
; ; ;
Publication Date:
OSTI Identifier:
1141598
Report Number(s):
SAND2014-2587C
Journal ID: ISSN 1571-0661; 506571
DOE Contract Number:
AC04-94AL85000
Resource Type:
Conference
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.
Research Org:
Sandia National Laboratories (SNL-CA), Livermore, CA (United States)
Sponsoring Org:
USDOE National Nuclear Security Administration (NNSA)
Country of Publication:
United States
Language:
English