Q: A Sound Verification Framework for Statecharts and their Implementations.

Conference · 01 September 2022

DOI:https://doi.org/10.1145/3563822.3568014· OSTI ID:2004672

Pollard, Samuel; ARMSTRONG, ROBERT; Aytac, Jon; Bender, John; Hulette, Geoffrey; Mahmood, Raheel; Morris, Karla; Rawlings, Blake

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: NA0003525
• OSTI ID: 2004672
• Report Number(s): SAND2022-12167C; 709721
• Resource Relation: Conference: Proposed for presentation at the Formal Techniques for Safety-Critical Systems held December 7-7, 2022 in Auckland, New Zealand
• Country of Publication: United States
• Language: English