Formal Methods for Hardware Verification
From MaRDI portal
Publication:5899158
DOI10.1007/11757283zbMath1182.68120OpenAlexW2475557998MaRDI QIDQ5899158
No author found.
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11757283
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
HOL Light: An Overview ⋮ Finding normal binary floating-point factors efficiently ⋮ An introduction to mechanized reasoning ⋮ Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
Uses Software
This page was built for publication: Formal Methods for Hardware Verification
