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:
- 2004672
- Report Number(s):
- SAND2022-12167C; 709721
- 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
·
Wed Nov 30 23:00:00 EST 2022
·
OSTI ID:2006242
Refinement of Statecharts with Run-to-completion Semantics.
Conference
·
Mon Oct 01 00:00:00 EDT 2018
·
OSTI ID:1889614