Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.
Conference
·
OSTI ID:1371817
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:
- 1371817
- Report Number(s):
- SAND2016-6605C; 644919
- Resource Relation:
- Conference: Proposed for presentation at the Workshop on High-Consequence Control Verification held July 18, 2016 in Toronto, ON, Canada.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.
Formal verification of run-to-completion style statecharts using Event-B.
Refinement of Statecharts with Run-to-completion Semantics.
Conference
·
Fri Jul 01 00:00:00 EDT 2016
·
OSTI ID:1371817
Formal verification of run-to-completion style statecharts using Event-B.
Conference
·
Wed Jul 01 00:00:00 EDT 2020
·
OSTI ID:1371817
+3 more
Refinement of Statecharts with Run-to-completion Semantics.
Conference
·
Mon Oct 01 00:00:00 EDT 2018
·
OSTI ID:1371817
+2 more