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

Related topics

Related topics

8 relations
Automated theorem provingE theorem proverLinked dataNeuman–Stubblebine protocol
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Synergetic p+n Field-Effect Transistor Circuits for ppb-Level Xylene Detection
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
More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification
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
System Description: SPASS-FD
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 Version 3.5
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
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… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Boogie: A Modular Reusable Verifier for Object-Oriented Programs
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
SPASS: scalable and energy-efficient data acquisition in sensor databases
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: Subsumption Testing with SPASS
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
SPASS - Version 0.49
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
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… (More)
Is this relevant?