Search Results - Verification/analysis parameterised by semantics

Search alternatives:

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    A semantics comparison workbench for a concurrent, asynchronous, distributed programming language by Corrodi, Claudio, Heußner, Alexander, Poskitt, Christopher M.

    ISSN: 0934-5043, 1433-299X
    Published: London Springer London 01.01.2018
    Published in Formal aspects of computing (01.01.2018)
    “… for an idiomatic usage of its core abstraction. We propose a semantics comparison workbench for Scoop with fully and semi-automatic tools for analysing and comparing the state spaces…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: