عنوان

Formal systems specification :

3540619844

9783540619840

b542063

Formal systems specification :

[Book]

the RPC-memory specification case study

Manfred Broy, Stephan Merz, Katharina Spies (eds.).

Berlin

Springer

©1997.

XXIII, 540, [1] p. ; 24 cm.

Lecture notes in computer science, 1169.

Scritti di vari.

The RPC-memory specification problem problem statement.- The RPC-memory case study: A synopsis.- A TLA solution to the RPC-memory specification problem.- A dynamic specification of the RPC-memory problem.- A memory module specification using composable high-level petri nets.- Constraint oriented temporal logic specification.- A functional solution to the RPC-memory specification problem.- A solution relying on the model checking of boolean transition systems.- Applying a temporal logic to the RPC-memory specification problem.- Using PVS for an assertional verification of the RPC-memory specification problem.- Specification and verification using a visual formalism on top of temporal logic.- A case study in verification based on trace abstractions.- Incremental specification with joint actions: The RPC-memory specification problem.- The methodology of modal constraints.- Tackling the RPC-memory specification problem with I/O automata.- Using relations on streams to solve the RPC-memory specification problem.- The RPC-memory specification problem: UNITY + refinement calculus.

Elaborazione elettronica dei dati -- Elaborazione distribuita.

Reti di elaboratori.

Manfred Broy, Stephan Merz, Katharina Spies (eds.).

Katharina Spies

Manfred Broy

Stephan Merz

[Book]

Y