scientific article; zbMATH DE number 139813

zbMATH Open0794.68100MaRDI QIDQ4028147FDOQ4028147

Authors: George A. McCaskill, Jim McIntosh, George J. Milne, Andrew D. Bailey 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

Recommendations

• An exercise in the automatic verification of asynchronous designs
• Automatic Verification of Sequential Circuits Using Temporal Logic
• scientific article; zbMATH DE number 5181778
• scientific article
• scientific article

zbMATH Keywords

automatic verification of digital circuitscircal process algebracircal-system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Fault detection; testing in circuits and networks (94C12)

Cited In (7)

• Title not available (Why is that?)
• CIRC: A Behavioral Verification Tool Based on Circular Coinduction
• System Semantics and formal circuit description
• An exercise in the automatic verification of asynchronous designs
• Semantics of digital circuits
• An automated proof technique for finite-state machine equivalence
• The Alex language for circuit description

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028147)