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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Nowadays, xylene is not only one major air pollutant which threats human health even if its concentration is lower than the human… (More)
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2012
2012
Sledgehammer for Isabelle/HOL integrates automatic theorem provers to discharge interactive proof obligations. This paper… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2011
2011
Using a constrained superposition calculus and a disunification procedure, it is possible to employ superposition-based first… (More)
Is this relevant?
Review
2009
Review
2009
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system… (More)
Is this relevant?
2006
2006
A wafer-level packaging strategy for micro device chips based on uniquely orienting self-assembly is presented with the following… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
A program verifier is a complex system that uses compiler technology, program semantics, property inference, verification… (More)
  • figure 1
  • figure 2
Is this relevant?
2005
2005
Scalability and energy management issues are crucial for sensor network databases. In this paper, we introduce the Sharing and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
1999
1999
mspass is an enhancement of the rst-order theorem prover spass 17; 18; 19; 20] with a translator of modal formulae, formulae of… (More)
Is this relevant?
1997
1997
This article describes SPASS, Version 0.49, as it was entered in the system competition at CADE-13. SPASS is an automated theorem… (More)
Is this relevant?
1996
1996
System Description FLOTTER 1 and SPASS 2 are a clause normal form translator for rst-order logic and a theorem prover for rst… (More)
Is this relevant?