Checking for language inclusion using simulation preorders

DOI10.1007/3-540-55179-4_25MaRDI QIDQ6493543zbMATH OpenFDO

Authors David L. Dill, Alan J. Hu, Howard Wong-Toi

Publication date 29 April 2024

Full work available at URL https://doi.org/10.1007/3-540-55179-4_25

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• scientific article; zbMATH DE number 3310090 (Why is no real title available?)
• Graph-Based Algorithms for Boolean Function Manipulation
• Protocol Verification via Projections
• Using mappings to prove timing properties

Cited in

(1)

• Multi-buffer simulations for trace language inclusion

This page was built for publication: Checking for language inclusion using simulation preorders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6493543)