scientific article; zbMATH DE number 177259

MaRDI QIDQ4037115zbMATH OpenFDO

Authors Mark Bickford

Publication date 18 May 1993

zbMATH Keywords

verificationcomputer-aided theorem provingfinite state controller systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automatic verification of finite-state concurrent systems using temporal logic specifications
• scientific article; zbMATH DE number 527259
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
• scientific article; zbMATH DE number 177256
• Automatic Verification of Sequential Circuits Using Temporal Logic

Cited in

(3)

• scientific article; zbMATH DE number 1670805 (Why is no real title available?)
• Incremental verification for on-the-fly controller synthesis
• DSValidator: an automated counterexample reproducibility tool for digital systems

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