An exercise in the automatic verification of asynchronous designs
type: Item
instance of: scholarly article
title: An exercise in the automatic verification of asynchronous designs
zbMATH Open document ID: 0795.94020
DOI: 10.1007/BF01384047
author: George A. McCaskill
author: George J. Milne
author: Andrew D. Bailey
published in: Formal Methods in System Design
publication date: 1994-09-04T00:00:00Z
Mathematics Subject Classification ID: 94C12
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 597819
zbMATH Keywords: automatic formal verification technique
zbMATH Keywords: circuit designs
zbMATH Keywords: circal system
describes a project that uses: HOL
MaRDI profile type: Publication
cites work: Q4028147
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Q3971259
cites work: Symbolic model checking: \(10^{20}\) states and beyond
cites work: Testing equivalences for processes
cites work: Generating BDDs for symbolic model checking in CCS
cites work: Q5287513
cites work: Q3997501
cites work: Q3777424
cites work: Q3755402
cites work: Q4037096
cites work: CCS expressions, finite state processes, and three problems of equivalence
cites work: Q3996398
cites work: CIRCAL and the representation of communication, concurrency, and time
cites work: Q3992568
cites work: Q3911403
cites work: Q4028336
description: scientific article; zbMATH DE number 597819