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

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

doi:10.2172/2006242

DOE OSTI · 2006242

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

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

View original source ↗Read source document ↗Export metadata ↓

Abstract

Abstract not provided.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Pollard, Samuel, ARMSTRONG, ROBERT, Bender, John, Hulette, Geoffrey C., Mahmood, Raheel, Morris, Karla, Rawlings, Blake, Aytac, Jon. 2022-12-01. Q: A Sound Verification Framework for Statecharts and Their Implementations.. https://doi.org/10.2172/2006242

Cite the original work for its findings. Save a collection to share your selection of sources.