scientific article; zbMATH DE number 1956608

zbMath1031.68509MaRDI QIDQ4417958

Daniel Diaz, Henri Michel, Philippe Codognet, Fabrice Baray

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190569.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constraint solving techniquesCode-based test generationfunctional hardware verification

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Wombit: a portfolio bit-vector solver using word-level propagation

This page was built for publication: