Validating Reasoning Heuristics Using Next-Generation Theorem-Provers

Paul S. Steyn; John A. van der Poll

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Validating Reasoning Heuristics Using Next-Generation Theorem-Provers

In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 43-52, 2007 , Funchal, Madeira, Portugal

Authors: Paul S. Steyn and John A. van der Poll

Affiliation: School of Computing, University of South Africa (UNISA), South Africa

Abstract: The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification is a tedious task that can be facilitated much through the use of an automated reasoner. However, set theory is a corner stone of many formal specification languages and poses demanding challenges to automated reasoners. To this end a number of heuristics has been developed to aid the Otter theorem prover in finding short proofs for set theoretic problems. This paper investigates the applicability of these heuristics to a next generation theorem prover Vampire.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.141.32.53

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

S. Steyn, P. and A. van der Poll, J. (2007). Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2007) - MSVVEIS; ISBN 978-972-8865-95-5, SciTePress, pages 43-52. DOI: 10.5220/0002425900430052

@conference{msvveis07,
author={Paul {S. Steyn}. and John {A. van der Poll}.},
title={Validating Reasoning Heuristics Using Next-Generation Theorem-Provers},
booktitle={Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2007) - MSVVEIS},
year={2007},
pages={43-52},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002425900430052},
isbn={978-972-8865-95-5},
}

TY - CONF

JO - Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2007) - MSVVEIS
TI - Validating Reasoning Heuristics Using Next-Generation Theorem-Provers
SN - 978-972-8865-95-5
AU - S. Steyn, P.
AU - A. van der Poll, J.
PY - 2007
SP - 43
EP - 52
DO - 10.5220/0002425900430052
PB - SciTePress