scientific article; zbMATH DE number 1324665

MaRDI QIDQ4255568zbMATH OpenFDO

Authors Sophie Renault, Eduard Cerny

Publication date 17 August 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=23&iss=2#23.2.007

zbMATH Keywords

hardware verification

Mathematics Subject Classification ID

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

Recommendations

• On the non-termination of MDG-based abstract state enumeration
• Systematic Refinement of Abstract State Machines with Higher-Order Logic
• Refinements in Typed Abstract State Machines
• scientific article; zbMATH DE number 862680
• An automatic method for the dynamic construction of abstractions of states of a formal model
• scientific article; zbMATH DE number 1670519
• Formalization of Abstract State Transition Systems for SAT
• Implementing term rewriting by graph reduction: Termination of combined systems
• Model checking abstract state machines with answer set programming

Cited in

(1)

• On the non-termination of MDG-based abstract state enumeration

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