Model checking abstract state machines with answer set programming

MaRDI QIDQ5294160zbMATH OpenFDO

Authors Calvin Kai Fan Tang, Eugenia Ternovska

Publication date 24 July 2007

zbMATH Keywords

bounded model checking

Mathematics Subject Classification ID

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

Recommendations

• Model Checking Abstract State Machines with Answer Set Programming
• scientific article; zbMATH DE number 1543047
• scientific article; zbMATH DE number 1670519
• scientific article; zbMATH DE number 1538047
• scientific article; zbMATH DE number 1670520

Cited in

(8)

• Abstract state machines and computationally complete query languages
• scientific article; zbMATH DE number 1670504 (Why is no real title available?)
• scientific article; zbMATH DE number 1324665 (Why is no real title available?)
• scientific article; zbMATH DE number 1951190 (Why is no real title available?)
• scientific article; zbMATH DE number 1951202 (Why is no real title available?)
• scientific article; zbMATH DE number 1543047 (Why is no real title available?)
• Model Checking Abstract State Machines with Answer Set Programming
• Quo Vadis Answer Set Programming?

Describes a project that uses

Uses Software

• Smodels
• Cmodels
• Chaff

This page was built for publication: Model checking abstract state machines with answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5294160)