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 C.
AU  - Mahmood, Raheel
AU  - Morris, Karla
AU  - Rawlings, Blake
AU  - Aytac, Jon
PY  - 2022
DO  - 10.2172/2006242
UR  - https://www.osti.gov/biblio/2006242
ID  - 2006242
ER  -