Formal Methods in Computer-Aided Design

DOI10.1007/B102264MaRDI QIDQ5492995zbMATH OpenOpenAlexFDO

Authors Debashis Sahoo, Subramanian Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson

Publication date 20 October 2006

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

Full work available at URL https://doi.org/10.1007/b102264

Mathematics Subject Classification ID

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

Recommendations

• An improved hierarchy result for partitioned BDDs
• Improved symbolic verification using partitioning techniques
• FM 2005: Formal Methods
• Partitioning methods for satisfiability testing on large formulas
• Partitioning methods for satisfiability testing on large formulas
• scientific article; zbMATH DE number 4119602
• scientific article; zbMATH DE number 5636822
• Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
• Experimental and Efficient Algorithms

Cited in

(8)

• A compositional approach to probabilistic knowledge compilation
• scientific article; zbMATH DE number 1670790 (Why is no real title available?)
• scientific article; zbMATH DE number 1252744 (Why is no real title available?)
• Computer Aided Verification
• Theorem Proving in Higher Order Logics
• Automated Technology for Verification and Analysis
• Correct Hardware Design and Verification Methods
• Improved symbolic verification using partitioning techniques

This page was built for publication: Formal Methods in Computer-Aided Design

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