Formal Systems Specification

Keyphrases

Publications

volume 1169, 1996

Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994) Formal Systems Specification 1169 (1996)

1994

Johan Blom, Bengt Jonsson
Constraint Oriented Temporal Logic Specification. Formal Systems Specification (1994)
Ketil Stølen
Using Relations to Solve the RPC-Memory Specification Problem. Formal Systems Specification (1994)
Eike Best
A Memory Module Specification Using Composable High-Level Petri Nets. Formal Systems Specification (1994)
Martín Abadi, Leslie Lamport, Stephan Merz
A TLA Solution to the RPC-Memory Specification Problem. Formal Systems Specification (1994)
Reino Kurki-Suonio
Incremental Specification with Joint Actions: The RPC-Memory Specification Problem. Formal Systems Specification (1994)
Manfred Broy, Leslie Lamport
The RPC-Memory Specification Problem - Problem Statement. Formal Systems Specification (1994)
Manfred Broy, Stephan Merz, Katharina Spies
The RPC-Memory Case Study: A Synopsis. Formal Systems Specification (1994)
Manfred Broy
A Functional Solution to the RPC-Memory Specification Problem. Formal Systems Specification (1994)
Egidio Astesiano, Gianna Reggio
A Dynamic Specification of the RPC-Memory Problem. Formal Systems Specification (1994)
Rob T. Udink, Joost N. Kok
The RPC-Memory Specification Problem: UNITY+Refinement Calculus. Formal Systems Specification (1994)
Judi Romijn
Tackling the RPC-Memory Specification Problem with I/O Automata. Formal Systems Specification (1994)
Jozef Hooman
Using PVS for an Assertional Verification of the RPC-Memory Specification Problem. Formal Systems Specification (1994)
Jorge Cuéllar, Dieter Barnard, Martin Huber
A Solution Relying on the Model Checking of Boolean Transition Systems. Formal Systems Specification (1994)
Hardi Hungar
Specification and Verification Using a Visual Formalism on Top of Temporal Logic. Formal Systems Specification (1994)
Nils Klarlund, Mogens Nielsen, Kim Sunesen
A Case Study in Verification Based on Trace Abstractions. Formal Systems Specification (1994)
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
The Methodology of Modal Constraints. Formal Systems Specification (1994)
Reinhard Gotzhein
Applying a Temporal Logic to the RPC-Memory Specification Problem. Formal Systems Specification (1994)