TY  - RPRT
TI  - Compositional Reasoning for Hierarchical State Machines
AU  - Sullivan, Zachary Joseph [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)]
AU  - Rawlings, Blake Charles [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:0000000226683693)
AU  - Bender, John Matthew [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:0000000237546731)
AU  - Aytac, Jon M. [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)]
PY  - 2026
DO  - 10.2172/3362874
UR  - https://www.osti.gov/biblio/3362874
ID  - 3362874
ER  -