Advertisement

System Description: Spass Version 1.0.0

  • Christoph Weidenbach
  • Bijan Afshordel
  • Uwe Brahm
  • Christian Cohrs
  • Thorsten Engel
  • Enno Keen
  • Christian Theobalt
  • Dalibor Topić
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1632)

Abstract

Spass is an automated theorem prover for full first-order logic with equality. This system description provides a rough overview over recent developments.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ganzinger, H., Meyer, C. & Weidenbach, C. (1997), Soft typing for ordered resolution, in’ Proceedings of the 14th International Conference on Automated Deduction, CADE-14’, Vol. 1249 of LNAI, Springer, Townsville, Australia, pp. 321–335.Google Scholar
  2. Hähnle, R., Kerber, M. & Weidenbach, C. (1996), Common syntax of the DFGSchwerpunktprogramm ℌDeduktion”, Interner Bericht 10/96, Universität Karlsruhe, Fakultät für Informatik, Germany.Google Scholar
  3. Nonnengart, A., Rock, G. & Weidenbach, C. (1998), On generating small clause normal forms, in’ 15th International Conference on Automated Deduction, CADE-15’, Vol. 1421 of LNAI, Springer, pp. 397–411.CrossRefMathSciNetGoogle Scholar
  4. Sutcliffe, G. & Suttner, C. B. (1998), ‘The tptp problem library-cnf release v1.2.1’, Journal of Automated Reasoning 21(2), 177–203.zbMATHCrossRefMathSciNetGoogle Scholar
  5. Weidenbach, C. (1999), Towards an automatic analysis of security protocols in firstorder logic, in H. Ganzinger, ed., ‘16th International Conference on Automated Deduction, CADE-16’, LNAI, Springer. This volume.Google Scholar
  6. Weidenbach, C., Gaede, B. & Rock, G. (1996), Spass & flotter, version 0.42, in M. McRobbie & J. Slaney, eds, ’ 13th International Conference on Automated Deduction, CADE-13’, Vol. 1104 of LNAI, Springer, pp. 141–145.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Christoph Weidenbach
    • 1
  • Bijan Afshordel
    • 1
  • Uwe Brahm
    • 1
  • Christian Cohrs
    • 1
  • Thorsten Engel
    • 1
  • Enno Keen
    • 1
  • Christian Theobalt
    • 1
  • Dalibor Topić
    • 1
  1. 1.Max-Planck-Institut für InformatikSaarbrückenGermany

Personalised recommendations