SwePub
Sök i LIBRIS databas

  Extended search

onr:"swepub:oai:research.chalmers.se:8986b47e-81c9-4689-b939-e735ae6a32e7"
 

Search: onr:"swepub:oai:research.chalmers.se:8986b47e-81c9-4689-b939-e735ae6a32e7" > A Verification Syst...

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

A Verification System for Distributed Objects with Asynchronous Method Calls

Ahrendt, Wolfgang, 1967 (author)
Chalmers tekniska högskola,Chalmers University of Technology
Dylla, Maximilian (author)
Universität des Saarlandes,Chalmers tekniska högskola,Chalmers University of Technology
 (creator_code:org_t)
ISBN 9783642103728
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
2009
English.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783642103728 ; 5885, s. 387-406
  • Conference paper (peer-reviewed)
Table of contents Abstract Subject headings
Close  
No table of content available
  • We present a verification system for Creol, an object-orientedmodeling language for concurrent distributed applications.The system is an instance of KeY, a framework for object oriented software verification, which has so far been applied foremost to sequential Java. Building on KeY characteristic concepts, like dynamic logic, sequent calculus, explicit substitutions, and the taclet rule language, the system presented in this paper addresses functional correctness of Creol models featuring local cooperative thread parallelism and global communication via asynchronous method calls. The calculus heavily operates on communication histories which describe the interfaces of Creol units. Two example scenarios demonstrate the usage of the system.

Subject headings

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Publication and Content Type

kon (subject category)
ref (subject category)

Find in a library

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Find more in SwePub

By the author/editor
Ahrendt, Wolfgan ...
Dylla, Maximilia ...
About the subject
NATURAL SCIENCES
NATURAL SCIENCES
and Computer and Inf ...
and Computer Science ...
Articles in the publication
Lecture Notes in ...
By the university
Chalmers University of Technology

Search outside SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view