Model checking based on sequential ATPG

DOI10.1007/3-540-48683-6_36MaRDI QIDQ4818810zbMATH OpenFDO

Authors Vamsi Boppana, Sreeranga Rajan, Koichiro Takayama, Masahiro Fujita

Publication date 24 September 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48683-6_36

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The use of model checking in ATPG for sequential circuits
• scientific article; zbMATH DE number 177234
• Model checking: Theory into practice
• scientific article; zbMATH DE number 910719
• scientific article; zbMATH DE number 177271

Cited in

(6)

• Černý's conjecture and the road colouring problem
• Model Checking CTL is Almost Always Inherently Sequential
• Synchronizing Automata and the Černý Conjecture
• scientific article; zbMATH DE number 177271 (Why is no real title available?)
• The use of model checking in ATPG for sequential circuits
• Verifying an applicative ATP using multiset relations

This page was built for publication: Model checking based on sequential ATPG

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