Constraint-Based Verification

DOI10.1007/0-387-30784-2zbMath1093.68058OpenAlexW1826753560MaRDI QIDQ5201279

Adnan Aziz, Jun Yuan, Carl P. Pixley

Publication date: 13 April 2006

Full work available at URL: https://doi.org/10.1007/0-387-30784-2

zbMATH Keywords

assertion based verificationverification flow

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Computer system organization (68M99)

Related Items (3)

Transfer of Model Checking to Industrial Practice ⋮ Propagation based local search for bit-precise reasoning ⋮ A verification-driven framework for iterative design of controllers

This page was built for publication: Constraint-Based Verification