Marian Srebrny  Home/Search
Context
Related
| mimuw.edu.pl/~tarlecki/kb...MSvii97.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mimuw.edu.pl/~tarlecki/k...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a set of seminar notes on basic concepts and results on automated and semiautomated verification of correctness and validation of software systems (protocols) via the method of tableaux, often called semantic tableaux. Special emphasis is on comparison of various ways of formalization of the concept of a `proof ', on the example of the classical first-order logic. 1 Introduction Gentzen [5] proposed two distinct formalizations of deduction systems. Each of them in both classical and ... (Update)
Similar documents (at the sentence level):
18.5%: Resolution And Rasiowa-Sikorski Systems For Software Verification - Srebrny (1998) (Correct)
Active bibliography (related documents): More All
0.0: Model Checking and Other Games - Stirling (1996) (Correct)
0.0: Compositional Model Checking of Real Time Systems - Laroussinie, al. (1995) (Correct)
0.0: Compositional and Symbolic Model-Checking of Real-Time Systems - Larson, Pettersson, Yi (1996) (Correct)
Similar documents based on text: More All
0.2: A Stack-Based Approach to Query Languages - Subieta, Beeri, Matthes, Schmidt (1993) (Correct)
0.2: A Partial Order Representation of Processes of Contextual Nets - Winkowski (1997) (Correct)
0.2: Failure-Resistant Resource Management In A Distributed.. - Winkowski (2000) (Correct)
BibTeX entry: (Update)
@misc{ srebrny-verification,
author = "Marian Srebrny",
title = "Verification via Tableaux",
url = "citeseer.ist.psu.edu/srebrny97verification.html" }
Citations (may not include all citations):235 First Order Logic (context) - Smullyan - 1968
181 Mathematical Logic (context) - Shoenfield - 1967
84 Decision procedures and expressiveness in the temporal logic.. (context) - Emerson, Halpern - 1982
47 Untersuchungen uber das Logische Schliessen (context) - Gentzen - 1934
46 A course in mathematical logic (context) - Bell, Machover - 1977
29 The mathematics of metamathematics (context) - Rasiowa, Sikorski - 1970
17 Lecture Notes in Computer Science (context) - Emerson, tableaux et al.
2 Die formalen Regeln der intuitionistische Logik und Mathemat.. (context) - Heyting - 1930
2 Verknupfenden Schliessen (context) - Schutte - 1956
2 Grundzuge der Logik (context) - Hilbert, Ackermann - 1928
2 Form and content in quantification theory (context) - Hintikka - 1955
2 Semantic enteilment and formal derivability (context) - Beth - 1959
1 kopia obiecana prywatnie (context) - Mirkowska
Documents on the same site (http://wwwat.mimuw.edu.pl/~tarlecki/kbn96grant/papers.html): More
Limits and Colimits in Some Categories of Institutions - Tarlecki (1997) (Correct)
Rasiowa-Sikorski Deduction Systems: a Handy Tool for Computer.. - Konikowska (1998) (Correct)
Towards Heterogeneous Specifications - Andrzej Tarlecki (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC