Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

DOI10.1109/TC.2009.187zbMath1368.68252OpenAlexW2110216726MaRDI QIDQ5280793

Hao Zheng, Tomohiro Yoneda, Haiqiong Yao

Publication date: 27 July 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2009.187

Mathematics Subject Classification ID

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

Related Items (1)

Rewriting semantics of production rule sets

This page was built for publication: Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement