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

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

doi:10.1145/3563822.3568014

DOE OSTI · 2006062

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

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

View original source ↗Read source document ↗Export metadata ↓

Also available from

DOE OSTI — 2004672 ↗

Abstract

Abstract not provided.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Pollard, Samuel, ARMSTRONG, ROBERT, Bender, John, Hulette, Geoffrey, Mahmood, Raheel, Morris, Karla, Rawlings, Blake, Aytac, Jon. 2022-11-01. Q: A Sound Verification Framework for Statecharts and their Implementations.. https://doi.org/10.1145/3563822.3568014

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