Publication:4037086
From MaRDI portal
zbMath0800.94302MaRDI QIDQ4037086
Publication date: 18 May 1993
94C12: Fault detection; testing in circuits and networks
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Specification and automatic verification of self-timed queues, A technique of state space search based on unfolding, Using integer programming to verify general safety and liveness properties
