Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

SPASS

Known as: SPASS theorem prover, Synergetic Prover Augmenting Superposition with Sorts 
SPASS is an automated theorem prover for first-order logic with equality developed at the Max Planck Institute for Computer Science and using the… Expand
Wikipedia

Related topics

Related topics

8 relations
Automated theorem provingE theorem proverLinked dataNeuman–Stubblebine protocol
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
An adaptive threat model for security ceremonies
Ever since Needham and Schroeder introduced the notion of an active attacker, significant research has been conducted regarding… Expand
  • figure 1
Is this relevant?
2008
2008
Automated Induction with Constrained Tree Automata
A high capacity blender has been devised which is adaptable for use in achieving the proper blend of liquid-to-liquid or liquid… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
System Description: SpassVersion 3.0
An electrophotographic copying system is disclosed wherein the DC charging and DC transfer corotrons are powered with an… Expand
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Wafer-level packaging based on uniquely orienting self-assembly (the DUO-SPASS processes)
A wafer-level packaging strategy for micro device chips based on uniquely orienting self-assembly is presented with the following… Expand
Is this relevant?
2006
2006
On Verifying Complex Properties using Symbolic Shape Analysis
Note: MPI-I-2006-2-1 (Max-Planck Institute for Computer Science) Reference LARA-REPORT-2006-002 URL: http://arxiv.org/abs/cs.PL… Expand
  • figure 1
  • figure 2
  • figure 9
  • figure 10
Is this relevant?
2006
2006
Rapid screening of bimetallic electrocatalysts for oxygen reduction in acidic media by scanning electrochemical microscopy
Additional bimetallic electrocatalysts for the oxygen reduction reaction ORR in acidic media were designed using a previously… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2003
2003
Implementing an Efficient Theorem Prover
Bleed-fast, dyed cellulosics particularly absorbent papers have been obtained with a particular class of water-soluble, cationic… Expand
  • figure 5.5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Knowledge-Based Proof Planning
Abstract Knowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which swings the motivational… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Is this relevant?
1999
1999
Knowledge-based Cooperation between Theorem Provers by Techs
We present a methodology for coupling several saturation-based theoremprovers (running on different computers). The methodology… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
SPASS & FLOTTER Version 0.42
System Description FLOTTER 1 and SPASS 2 are a clause normal form translator for rst-order logic and a theorem prover for rst… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE