Automated Model Building: From Finite to Infinite Models

DOI10.1007/978-3-540-85110-3_13MaRDI QIDQ5505496zbMATH OpenOpenAlexFDO

Authors Nicolas Peltier

Publication date 27 January 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85110-3_13

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Constructing infinite models represented by tree automata
• A new method for automated finite model building exploiting failures and symmetries
• scientific article; zbMATH DE number 1051240
• Combining enumeration and deductive techniques in order to increase the class of constructible infinite models
• Automated model building

Cites work

• A method for simultaneous search for refutations and models by equational constraint solving
• A new method for automated finite model building exploiting failures and symmetries
• A structure-preserving clause form translation
• Automated Deduction – CADE-20
• Automated model building
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• scientific article; zbMATH DE number 2090299 (Why is no real title available?)
• scientific article; zbMATH DE number 2090302 (Why is no real title available?)
• Working with ARMs: Complexity results on atomic representations of Herbrand models

Cited in

(8)

• Constructing infinite models represented by tree automata
• Automated model building
• scientific article; zbMATH DE number 5666853 (Why is no real title available?)
• A new method for automated finite model building exploiting failures and symmetries
• Automated inference of finite unsatisfiability
• Automated Inference of Finite Unsatisfiability
• A method for building models automatically. Experiments with an extension of OTTER
• Combining enumeration and deductive techniques in order to increase the class of constructible infinite models

Describes a project that uses

Uses Software

• I-SATCHMO
• SATCHMO
• FINDER

This page was built for publication: Automated Model Building: From Finite to Infinite Models

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