Concurrency verification

Concurrency verification: introduction to compositional and noncompositional methods

by Roever, W.-P. de

Type Book
Rate 0.0 /5

The Inductive Assertion Method: Floyd's inductive assertion method for transition diagrams - The inductive assertion method for shared-variable concurrency - The inductive assertion method for synchronous message passing - Expressibility and relative completeness - Compositional Proof Methods: Introduction to compositional reasoning - Compositional proof methods: synchronous message passing - Compositional proof methods: shared-variable concurrency - Hoare Logic : A proof system for sequential …

Read More ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :Concurrency verification : introduction to compositional and noncompositional methods / Willem-Paul de Roever ... [et al.].

Summary

The Inductive Assertion Method: Floyd's inductive assertion method for transition diagrams - The inductive assertion method for shared-variable concurrency - The inductive assertion method for synchronous message passing - Expressibility and relative completeness - Compositional Proof Methods: Introduction to compositional reasoning - Compositional proof methods: synchronous message passing - Compositional proof methods: shared-variable concurrency - Hoare Logic : A proof system for sequential programs using Hoare triples - A Hoare logic for shared-variable concurrency - A Hoare logic for synchronous message passing - Layered Design : Transformational design and Hoare logic.

Read More ↓

Edition Statements

  • Publication Date:2001.

Publication Statements

The Physical Object

  • Description:xxii, 776 p. : : illustrations ; : 24 cm

Edition Identifiers

  • ISBN:0521806089, 9780521806084
  • oclc:ocn912189216
  • LC Classification:QA76.58
  • Dewey Decimal:005.14

Subjects

Proceso en paralelo (Informática) Proceso paralelo (Informática) Software -- Verificación software verification

Writers

Roever, W.-P. de

More from this Series

  • Deductive and Declarative Programming

    1992.
    more →
    Deductive and Declarative Programming

  • Deductive and Declarative Programming

    1992.
    more →
    Deductive and Declarative Programming

  • Deduction and declarative programming

    1992.
    more →
    Deduction and declarative programming

  • Deductive and Declarative Programming

    1992.
    more →
    Deductive and Declarative Programming

  • Deductive and Declarative Programming

    1992.
    more →
    Deductive and Declarative Programming

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Concurrency Verification: Introduction to Composi…

    DJVU · 6.9 MB · updated
    Login →
Log in to request a copy