[Lecture Notes in Computer Science] Formal Methods for Hardware Verification Volume 3965 || Floating-Point Verification Using Theorem Proving

✍ Scribed by Bernardo, Marco; Cimatti, Alessandro

Publisher: Springer Berlin Heidelberg
Year: 2006
Category: Library

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] SOFS

📁 [Lecture Notes in Computer Science] SOFSEM 2001: Theory and Practice of Informatics Volume 2234 || Formal Verification Methods for Industrial Hardware Design

✍ Pacholski, Leszek; Ružička, Peter 📂 Library 📅 2001 🏛 Springer Berlin Heidelberg

Software Verification and Formal Methods

📁 Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)

✍ Omri Isac (editor), Radoslav Ivanov (editor), Guy Katz (editor), Nina Narodytska 📂 Library 📅 2022 🏛 Springer 🌐 English

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in J

Leveraging Applications of Formal Method

📁 Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

✍ Tiziana Margaria (editor), Bernhard Steffen (editor) 📂 Library 📅 2021 🏛 Springer 🌐 English

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications

Leveraging Applications of Formal Method

📁 Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science, 13036)

✍ Tiziana Margaria (editor), Bernhard Steffen (editor) 📂 Library 📅 2021 🏛 Springer 🌐 English

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applic

Formal verification of floating-point ha

📁 Formal verification of floating-point hardware design : a mathematical approach

✍ David Russinoff 📂 Library 📅 2022 🌐 English

Formal Verification of Floating-Point Ha

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

✍ David M. Russinoff 📂 Library 📅 2019 🏛 Springer International Publishing 🌐 English

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and