Formal Methods in Computer-Aided Design

DOI10.1007/B102264MaRDI QIDQ5492978zbMATH OpenOpenAlexFDO

Authors Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann

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) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computer science aspects of computer-aided design (68U07)

Recommendations

• Scalable Techniques for Formal Verification
• Correct Hardware Design and Verification Methods
• Mechanized Verification of CPS Transformations
• A framework for model transformation verification
• scientific article; zbMATH DE number 1538039
• Verification of system level model transformations
• Towards verifying model transformations
• SAT-Based Scalable Formal Verification Solutions

Cited in

(5)

• Vacuity in practice: temporal antecedent failure
• Benchmarking a model checker for algorithmic improvements and tuning for performance
• Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry
• Correct Hardware Design and Verification Methods
• SAT-solving in practice, with a tutorial example from supervisory control

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 Q5492978)