scientific article; zbMATH DE number 177236

zbMATH Open0800.94302MaRDI QIDQ4037086FDOQ4037086

Authors: David K. Probst, Hon F. Li 

Publication date: 18 May 1993

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Fault detection; testing in circuits and networks (94C12) Semantics in the theory of computing (68Q55)

Cited In (4)

• A technique of state space search based on unfolding
• Specification and automatic verification of self-timed queues
• Using integer programming to verify general safety and liveness properties
• Partial-order model checking: A guide for the perplexed

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 Q4037086)