Model elimination with simplification and its application to software verification

MaRDI QIDQ4934523zbMATH OpenFDO

Authors Peter Baumgartner, Dorothea Schäfer

Publication date 9 April 2000

zbMATH Keywords

model elimination

Mathematics Subject Classification ID

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

Recommendations

• Model elimination without contrapositives
• scientific article; zbMATH DE number 517000
• Proof simplification for model generation and its applications
• An Implementation of the Model Elimination Proof Procedure
• A model elimination calculus with built-in theories

Cited in

(5)

• Proof simplification for model generation and its applications
• scientific article; zbMATH DE number 517000 (Why is no real title available?)
• scientific article; zbMATH DE number 1534597 (Why is no real title available?)
• An Implementation of the Model Elimination Proof Procedure
• Model elimination without contrapositives

This page was built for publication: Model elimination with simplification and its application to software verification

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