Q4458553
type: Item
instance of: scholarly article
zbMATH Open document ID: 1049.68018
author: Katarzyna Radecka
author: Zeljko Zilic
publication date: 2004-03-21T00:00:00Z
Mathematics Subject Classification ID: 68M07
Mathematics Subject Classification ID: 68M15
Mathematics Subject Classification ID: 94C10
Mathematics Subject Classification ID: 94C12
Mathematics Subject Classification ID: 68-02
Mathematics Subject Classification ID: 68U20
zbMATH DE Number: 2060812
zbMATH Keywords: computer hardware
zbMATH Keywords: verification
zbMATH Keywords: diagnosis
zbMATH Keywords: debugging
MaRDI profile type: MaRDI publication profile
Recommended article: Programming Languages and Systems
Recommended article: A methodology for hardware verification using compositional model checking
Recommended article: A methodology for hardware verification based on logic simulation
Recommended article: Model checking: a hardware design perspective
Recommended article: Hardware/Software Co-Verification: Models and Methods
Recommended article: Progress in certifying hardware model checking results
description: scientific article; zbMATH DE number 2060812