Q: A Sound Verification Framework for Statecharts and Their Implementations.
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-CA), Livermore, CA (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- NA0003525
- OSTI ID:
- 2006242
- Report Number(s):
- SAND2022-16638C; 712360
- Country of Publication:
- United States
- Language:
- English
Similar Records
Q: A Sound Verification Framework for Statecharts and their Implementations.
Q: A Sound Verification Framework for Statecharts and their Implementations.
Refinement of Statecharts with Run-to-completion Semantics.
Conference
·
Tue Nov 01 00:00:00 EDT 2022
·
OSTI ID:2006062
Q: A Sound Verification Framework for Statecharts and their Implementations.
Conference
·
Thu Sep 01 00:00:00 EDT 2022
·
OSTI ID:2004672
Refinement of Statecharts with Run-to-completion Semantics.
Conference
·
Mon Oct 01 00:00:00 EDT 2018
·
OSTI ID:1889614