scientific article; zbMATH DE number 177271

MaRDI QIDQ4037133zbMATH OpenFDO

Authors Hyun Woo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi

Publication date 18 May 1993

zbMATH Keywords

free-variable recognitionFSM verificationimage computationinput splittingiterative networksreached set pruningsubtree recombination

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2102723
• Formal verification of cP systems using PAT3 and ProB
• Formal verification of a generic framework to synthesize SAT-provers
• Formal analysis of the application programming interface of the PVS verification system
• Verification by augmented abstraction: The automata-theoretic view

Cited in

(3)

• On the non-termination of MDG-based abstract state enumeration
• scientific article; zbMATH DE number 2000443 (Why is no real title available?)
• scientific article; zbMATH DE number 2102723 (Why is no real title available?)

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