Formal systems specification : the RPC-memory specification case study /
Saved in:
| Imprint: | Berlin ; New York : Springer, c1996. |
|---|---|
| Description: | xxiii, 540 p. : ill. ; 24 cm. |
| Language: | English |
| Series: | Lecture notes in computer science 1169 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/2564866 |
Table of Contents:
- The RPC-Memory Specification Problem - Problem Statement / Manfred Broy and Leslie Lamport
- The RPC-Memory Case Study: A Synopsis / Manfred Broy, Stephan Merz and Katharina Spies
- A TLA Solution to the RPC-Memory Specification Problem / Martin Abadi, Leslie Lamport and Stephan Merz
- A Dynamic Specification of the RPC-Memory Problem / Egidio Astesiano and Gianna Reggio
- A Memory Module Specification Using Composable High-Level Petri Nets / Eike Best
- Constraint Oriented Temporal Logic Specification / Johan Blom and Bengt Jonsson
- A Functional Solution to the RPC-Memory Specification Problem / Manfred Broy
- A Solution Relying on the Model Checking of Boolean Transition Systems / Jorge Cuellar, Dieter Barnard and Martin Huber
- Applying a Temporal Logic to the RPC-Memory Specification Problem / Reinhard Gotzhein
- Using PVS for an Assertional Verification of the RPC-Memory Specification Problem / Jozef Hooman
- Specification and Verification Using a Visual Formalism on Top of Temporal Logic / Hardi Hungar
- A Case Study in Verification Based on Trace Abstractions / Nils Klarlund, Mogens Nielsen and Kim Sunesen
- Incremental Specification with Joint Actions: The RPC-Memory Specification Problem / Reino Kurki-Suonio
- The Methodology of Modal Constraints / Kim G. Larsen, Bernhard Steffen and Carsten Weise
- Tackling the RPC-Memory Specification Problem with I/O Automata / Judi Romijn
- Using Relations on Streams to Solve the RPC-Memory Specification Problem / Ketil Stolen
- The RPC-Memory Specification Problem: UNITY + Refinement Calculus / Rob T. Udink and Joost N. Kok.
