scientific article; zbMATH DE number 177236

MaRDI QIDQ4037086zbMATH OpenFDO

Authors David K. Probst, Hon F. Li

Publication date 18 May 1993

Mathematics Subject Classification ID

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

Cited in

(4)

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

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)