Skip to main content
Article thumbnail
Location of Repository

A tutorial on Stålmarck's proof procedure for propositional logic

By Mary Sheeran, Mary Sheeran, Gunnar Stålmarck and Gunnar Stalmarck

Abstract

. We explain Stalmarck's proof procedure for classical propositional logic. The method is implemented in a commercial tool that has been used successfully in real industrial verification projects. Here, we present the proof system underlying the method, and motivate the various design decisions that have resulted in a system that copes well with the large formulas encountered in industrial-scale verification. We also discuss possible applications in Computer Aided Design of electronic circuits. c flSpringer To appear in the proceedings of FMCAD'98, published in Springer LNCS. A tutorial on Stalmarck's proof procedure for propositional logic Mary Sheeran and Gunnar Stalmarck Prover Technology AB and Chalmers University of Technology, Sweden Abstract. We explain Stalmarck's proof procedure for classical propositional logic. The method is implemented in a commercial tool that has been used successfully in real industrial verification projects. Here, we present the proof system underly..

Year: 1998
OAI identifier: oai:CiteSeerX.psu:10.1.1.41.8150
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www-verimag.imag.fr/SYN... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.