TY  - RPRT
TI  - Q: A Sound Verification Framework for Statecharts and their Implementations.
AU  - Pollard, Samuel
AU  - ARMSTRONG, ROBERT
AU  - Bender, John
AU  - Hulette, Geoffrey
AU  - Mahmood, Raheel
AU  - Morris, Karla
AU  - Rawlings, Blake
AU  - Aytac, Jon
PY  - 2022
DO  - 10.1145/3563822.3568014
UR  - https://www.osti.gov/biblio/2006062
ID  - 2006062
ER  -