Advertisement

Search Results

Showing results for "Formal Verification"

Formal Verification: An Essential Toolkit for Modern VLSI Design

Formal Verification: An Essential Toolkit for Modern VLSI Design

Erik Seligman MS
ACM Transactions on Design Automation of Electronic Systems, April 1999

ACM Transactions on Design Automation of Electronic Systems, April 1999

others C. Kern, M. R. Greenstreet on formal verification, K-J Le, J. J. Tang, T. C. Huang on BIFEST,
Applied Formal Verification (Electronic Engineering)

Applied Formal Verification (Electronic Engineering)

Douglas L. Perry
QED at Large: A Survey of Engineering of Formally Verified Software

QED at Large: A Survey of Engineering of Formally Verified Software

Talia Ringer
Finding Your Way Through Formal Verification

Finding Your Way Through Formal Verification

Bernard Murphy
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering)

Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering)

Sylvie Boldo
Introduction to Formal Hardware Verification

Introduction to Formal Hardware Verification

Thomas Kropf
SystemVerilog Assertions Handbook, 4th Edition: ... for Dynamic and Formal Verification

SystemVerilog Assertions Handbook, 4th Edition: ... for Dynamic and Formal Verification

Ben Cohen
Formal Verification of Control System Software (Princeton Series in Applied Mathematics)

Formal Verification of Control System Software (Princeton Series in Applied Mathematics)

Pierre-Loic Garoche
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

David M. Russinoff
Formal System Verification

Formal System Verification

Drechsler
Advanced Formal Verification

Advanced Formal Verification

Rolf Drechsler
LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation

LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation

James Milner
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Computer Science and General Issues)

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Computer Science and General Issues)

Tiziana Margaria
SystemVerilog Assertions Handbook Revised 4 th edition 2023: … for Dynamic and Formal Verification

SystemVerilog Assertions Handbook Revised 4 th edition 2023: … for Dynamic and Formal Verification

Ben Cohen
Formal verification of hardware design (IEEE Computer Society Press tutorial)

Formal verification of hardware design (IEEE Computer Society Press tutorial)

Michael Yoeli
Finding Your Way Through Formal Verification 2nd Edition

Finding Your Way Through Formal Verification 2nd Edition

Bernard Murphy
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, ... Notes in Computer Science Book 11244)

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, ... Notes in Computer Science Book 11244)

Tiziana Margaria
Scalable Techniques for Formal Verification

Scalable Techniques for Formal Verification

Sandip Ray
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008 Porto Sani, Greece, October 13-15,2008 Proceedings. Communications in Computer and Information Science, V. 17.

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008 Porto Sani, Greece, October 13-15,2008 Proceedings. Communications in Computer and Information Science, V. 17.

Tiziana Margaria