Specifications Shmuel Katz and Orna Grumberg Computer Science Department The...  Home/Search
Context
Related
| cs.technion.ac.il/~ka...faithoverifm.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: cs.technion.ac.il/~katz/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The reasons for translating a description of a model in one notation into another are reviewed. This includes both translating entire models and describing different aspects of a system using different notations. (Update)
Similar documents (at the sentence level):
34.1%: Faithful Translations Among Models and Specifications in VeriTech - Grumberg, Katz (2000) (Correct)
Active bibliography (related documents): More All
0.5: Managerial Issues for the Consideration and Use of Formal.. - Stidolph, Whitehead (2003) (Correct)
0.5: The Petri Net Markup Language: Concepts, Technology, and Tools - Billington, al. (2003) (Correct)
0.2: Features and Aspects: Exploring feature-oriented and.. - Beltagui (2003) (Correct)
Similar documents based on text: More All
0.3: Modular Model Checking of Software - Laster, Grumberg (1997) (Correct)
0.3: Achieving Scalability in Parallel Reachability.. - Heyman, Geist.. (2000) (Correct)
0.2: "Have I written enough properties?" - A method of comparison.. - Katz, Grumberg (1999) (Correct)
BibTeX entry: (Update)
@misc{ katz-framework,
author = "Specifications Shmuel Katz",
title = "A Framework for Translating Models and",
url = "citeseer.ist.psu.edu/702990.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1992
1174 Statecharts: a visual formalism for complex systems - Harel - 1987
828 Model Checking - Clarke, Grumberg et al. - 1999 ACM DBLP
779 Symbolic model checking: 10 20 states and beyond - Burch, Clarke et al. - 1992
407 Introduction to the ISO specification language LOTOS (context) - Bolognesi, Brinksma - 1987 ACM DBLP
315 Symbolic Model Checking: An Approach to the State Explosion .. (context) - McMillan - 1993
297 Statemate: a working environment for the development of comp.. - Harel, Lachover et al. - 1990 ACM DBLP
270 Formal verification for fault-tolerant architectures: Proleg.. - Owre, Rushby et al. - 1995 DBLP
267 Computer-aided Verification of Coordinating Processes (context) - Kurshan - 1994 ACM
142 An introduction to Formal Specification and Z (context) - Potter, Sinclair et al. - 1991 ACM
140 Model checking JAVA programs using JAVA PathFinder - Havelund, Pressburger - 2000 DBLP
101 Better verification through symmetry - Ip, Dill - 1996 ACM DBLP
72 Unifying Theories of Programming (context) - Hoare, Jifeng - 1998 DBLP
56 Appraising fairness in languages for distributed programming (context) - Apt, Francez et al. - 1988 ACM DBLP
46 Model checking programs - Brat, Havelund et al. - 2000 ACM DBLP
42 on Programming Languages and Systems (context) - Grumberg, Long et al. - 1994
39 dSPIN: A dynamic extension of SPIN - Demartini, Iosif et al. - 1999 DBLP
33 Prentice-Hall International (context) - Holzmann, Validation et al. - 1991
24 The state of SPIN (context) - Holzmann, Peled - 1996 ACM DBLP
19 Elements of Distributed Algorithms-- Modeling and Analysis w.. (context) - Reisig - 1998
19 LOTOSphere: software development with LOTOS (context) - Bolognesi, Legemaat et al. - 1994
11 and Ashish Tiwari (context) - Bensalem, Ganesh et al. - 2000
7 Refinement with global equivalence proofs in temporal logic (context) - Katz - 1997 ACM
4 Using the bandera tool set to model-check properties of conc.. - Hatcliff, Dwyer - 2001 ACM DBLP
2 Step: The stanford temporal prover - user's manual (context) - Bjorner, Browne et al. - 1995
2 Faithful translations among models and specifications (context) - Katz - 2001 ACM DBLP
2 VeriTech: translating among specifications and verification .. (context) - Grumberg, Katz - 1999
1 Property transformations for translations (context) - Berg, Katz - 2002
1 Translations between texual transition systems and petri net.. (context) - Korenblat, Grumberg et al. - 2002
1 Preliminary version appeared in the 6th ACM-PODC (context) - Katz, Peled et al. - 1987
http://wwwbrauer.informatik.tu-muenchen.de/gruppen/theorie/KIT/
Documents on the same site (http://www.cs.technion.ac.il/~katz/): More
Faithful Translations Among Models and Specifications in VeriTech - Grumberg, Katz (2000) (Correct)
A Mechanized Proof Environment for the Convenient Computations .. - Glusman, Katz (2002) (Correct)
Superimpositions and Aspect-Oriented Programming - Sihman, Katz (2003) (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