N. Shankar  Home/Search
Context
Related
| sri.com/reports/postsc...ftrtft96.ps.gz sri.com/shankar/ftrtft96.ps.gz sri.com/reports/postsc...ftrtft96.ps.gz 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: sri.com/reports/html/ftrtft96 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ) ? To appear in the Proceedings of FTRTFT'96 Natarajan Shankar Computer Science Laboratory SRI International Menlo Park CA 94025 USA shankar@csl.sri.com URL: http://www.csl.sri.com/~shankar/ Phone: +1 (415) 859-5272 Fax: +1 (415) 859-2844 Abstract. The field of formal methods is blessed with an overabundance of formalisms (functional, relational, automata-theoretic, modal, and temporal), techniques (resolution, rewriting, induction, and model checking), and application areas (hardware,... (Update)
Active bibliography (related documents): More All
1.0: Integration in PVS: Tables, Types, and Model Checking - Owre, al. (1997) (Correct)
0.6: Formal Methods and the Certification of Critical Systems - Rushby (1993) (Correct)
0.5: Machine-Assisted Verification Using Theorem Proving and Model.. - Shankar (1997) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: Using Decision Procedures With a Higher-Order Logic - Shankar (2001) (Correct)
0.4: Verification by Abstraction - Shankar (Correct)
0.2: Principles and Pragmatics of Subtyping in PVS - Shankar, Owre (1999) (Correct)
BibTeX entry: (Update)
@misc{ shankar-unifying,
author = "N. Shankar",
title = "Unifying Verification Paradigms (Extended Abstract)",
url = "citeseer.ist.psu.edu/159176.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1990
603 Kluwer Academic Publishers (context) - McMillan, Checking - 1993
281 Information Processing Letters (context) - Chaochen, Hoare et al. - 1992
270 Formal verification for faulttolerant architectures: Prolego.. - Owre, Rushby et al. - 1995
130 Efficient model checking in fragments of the propositional m.. (context) - Emerson, Lei - 1985
130 Specifying software requirements for complex systems: New te.. (context) - Heninger - 1980
113 Requirements specification for process-control systems - Leveson, Erik et al. - 1994
99 Handbook of Theoretical Computer Science (context) - van Leeuwen - 1990
98 State-based model checking of event-driven system requiremen.. - Atlee, Gannon - 1993
92 Experiments in theorem proving and model checking for protoc.. - Havelund, Shankar - 1996
91 An integration of model-checking with automated proof checki.. - Rajan, Shankar et al. - 1995
84 Another look at LTL model checking - Clarke, Grumberg et al. - 1994
70 Mechanizing programming logics in higher-order logic - Gordon - 1989
57 Consistency checking of SCR-style requirements specification.. - Heitmeyer, Labaw et al. - 1995
54 Completeness and consistency in hierarchical state-based req.. - Heimdahl, Leveson - 1996
47 volume 828 of Lecture Notes in Computer Science (context) - Paulson, Theorem - 1994
37 A toolset for specifying and analyzing requirements (context) - Heitmeyer, Bull et al.
31 Theoretical Computer Science (context) - Park, mu-ineffable
30 Formal verification of an algorithm for interactive consiste.. - Lincoln, Rushby - 1993
26 Mechanical verification of timed automata: A case study - Archer, Heitmeyer - 1996
23 Elements of mathematical analysis in PVS - Dutertre - 1996
22 Correctness of real time systems by construction (context) - Hooman - 1994
21 Modular verification of SRT division (context) - Ruess, Shankar et al. - 1996
19 Department of Electrical Engineering (context) - Janssen - 1993
19 a decision table tool (context) - Hoover, Chen
18 Formal verification of the AAMP5 microprocessor (context) - Srivas, Miller - 1995
11 A Verification Assistant for a Real-Time Logic (context) - Skakkebaek - 1994
11 Naval Research Laboratory (context) - Heninger, for et al. - 1978
7 Analyzing tabular and statetransition specifications in PVS (context) - Owre, Rushby et al. - 1995
7 A Duration Calculus proof checker: Using PVS as a semantic f.. (context) - Skakkebaek, Shankar - 1993
6 Experiences and lessons from the analysis of TCAS II (context) - Heimdahl - 1996
5 Seven papers on mechanized formal verification (context) - Cyrluk, Lincoln et al. - 1995
5 IEEE Washington Section (context) - Proceedings, Ninth et al. - 1995
3 Research on automatic verication of finite state concurrent .. (context) - Clarke, Grumberg - 1987
3 A structured approach to requirements specification for soft.. (context) - Sherry - 1994
2 requirements specification methodology (context) - Faulk, Clements et al. - 1987
2 Mechanical verification of DisCo specifications - Kellomaki - 1996
1 Applying a mechanized duration calculus assistant (context) - Inal, Skakkebaek - 1994
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