Loading...
Please wait, while we are loading the content...
Similar Documents
A Tutorial on St Almarck's Proof Procedure for Propositional Logic a Tutorial on St Almarck's Proof Procedure for Propositional Logic
| Content Provider | Semantic Scholar |
|---|---|
| Author | Sheeran, Mary |
| Copyright Year | 1998 |
| Abstract | We explain St almarck's proof procedure for classical propo-sitional logic. The method is implemented in a commercial tool that has been used successfully in real industrial veriication 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 veriication. We also discuss possible applications in Computer Aided Design of electronic circuits. Abstract. We explain St almarck's proof procedure for classical propo-sitional logic. The method is implemented in a commercial tool that has been used successfully in real industrial veriication 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 veriication. We also discuss possible applications in Computer Aided Design of electronic circuits. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www-verimag.imag.fr/SYNCHRONE/SYRF/HTML98/ann.0.2.b.ps |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
