Search results for "SETHEO"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Johann Schumann	Automatic Verification of Cryptographic Protocols with SETHEO.	CADE	1997	DBLP DOI BibTeX RDF
72	Bernd Fischer 0002, Johann Schumann	SETHEO Goes Software Engineering: Application of ATP to Software Reuse.	CADE	1997	DBLP DOI BibTeX RDF
62	Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr	SETHEO and E-SETHEO - The CADE-13 Systems.	J. Autom. Reason.	1997	DBLP DOI BibTeX RDF
57	Wolfgang Ertel	OR-Parallel Theorem Proving with Random Competition.	LPAR	1992	DBLP DOI BibTeX RDF	random competition, SETHEO, theorem proving, speedup, OR-parallelism, random search, model elimination
52	Gernot Stenz, Andreas Wolf 0005	E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
52	Andreas Wolf	p-SETHEO: Strategy Parallelism in Automated Theorem Proving.	TABLEAUX	1998	DBLP DOI BibTeX RDF
41	Johann Schumann, Bernd Fischer 0002	NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical.	ASE	1997	DBLP DOI BibTeX RDF	deduction-based software component retrieval, NORA/HAMMR, search keys, proof tasks, rejection filters, model checking techniques, confirmation filter, software reusability, signature matching, automated theorem prover
31	Joachim Draeger	Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO.	TABLEAUX	2000	DBLP DOI BibTeX RDF
31	Gernot Stenz, Andreas Wolf 0005	E-SETHEO: An Automated3 Theorem Prover.	TABLEAUX	2000	DBLP DOI BibTeX RDF
31	Christian B. Suttner	SPS-Parallelism + SETHEO = SPTHEO.	J. Autom. Reason.	1999	DBLP DOI BibTeX RDF
31	Johann Schumann	PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols.	CAV	1999	DBLP DOI BibTeX RDF
31	Johann Schumann	SiCoTHEO - Simple competitive parallel theorem provers based on SETHEO.	Parallel Processing for Artificial Intelligence 3	1997	DBLP DOI BibTeX RDF
31	Ortrun Ibens	The SETHEO System (system description).	WLP	1997	DBLP BibTeX RDF
31	Andreas Wolf 0005, Johann Schumann	ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output.	CADE	1997	DBLP DOI BibTeX RDF
31	Johann Schumann	Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study.	TABLEAUX	1995	DBLP DOI BibTeX RDF
31	Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann	SETHEO V3.2: Recent Developments - System Abstract.	CADE	1994	DBLP DOI BibTeX RDF
31	Christoph Goller	Anwendung des Theorembeweisers SETHEO auf die Theorie der Halbgruppen und Gruppen	Forschungsberichte, TU Munich	1993	RDF
31	Johann M. Ph. Schumann, Max Moser	A graphical user interface for SETHEO: proposal	Forschungsberichte, TU Munich	1992	RDF
31	Reinhold Letz, Johann Schumann, Stefan Bayerl, Wolfgang Bibel	SETHEO: A High-Performance Theorem Prover.	J. Autom. Reason.	1992	DBLP DOI BibTeX RDF
31	Reinhold Letz, Klaus Mayr	SETHEO II - The System and its Calculi.	TABLEAUX	1992	DBLP BibTeX RDF
21	Ewen Denney, Bernd Fischer 0002, Johann Schumann	Using Automated Theorem Provers to Certify Auto-generated Aerospace Software.	IJCAR	2004	DBLP DOI BibTeX RDF
21	Michael W. Whalen, Johann Schumann, Bernd Fischer 0002	Synthesizing Certified Code.	FME	2002	DBLP DOI BibTeX RDF	automatic program synthesis, code certification, program verification, automated theorem proving, proof-carrying code
21	Gernot Stenz, Andreas Wolf 0005	Scheduling Methods for Parallel Automated Theorem Proving.	AI	2000	DBLP DOI BibTeX RDF
21	Marc Fuchs, Dirk Fuchs	Abstraction-Based Relevancy Testing for Model Elimination.	CADE	1999	DBLP DOI BibTeX RDF
21	Peter Jakobi, Andreas Wolf	DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data.	CSMR	1998	DBLP DOI BibTeX RDF
21	Leo Bachmair, Harald Ganzinger, Andrei Voronkov	Elimination of Equality via Transformation with Ordering Constraints.	CADE	1998	DBLP DOI BibTeX RDF
21	Andreas Wolf	Strategy Selection for Automated Theorem Proving.	AIMSA	1998	DBLP DOI BibTeX RDF
21	Koji Iwanuma	Lemma Matching for a PTTP-based Top-down Theorem Prover.	CADE	1997	DBLP DOI BibTeX RDF
21	Heribert Schütz, Tim Geisler	Efficient Model Generation through Compilation.	CADE	1996	DBLP DOI BibTeX RDF
21	Wolfgang Ertel, Franz J. Kurfess, Reinhold Letz, Xavier Pandolfi	PARTHEO: A Parallel Inference Machine.	PARLE (1)	1989	DBLP DOI BibTeX RDF