Open AccessBook
Compositionality, concurrency and partial correctness
J. Zwiers
- 01 Mar 1989
126
About: The article was published on 01 Mar 1989. and is currently open access. The article focuses on the topics: Program derivation & Program analysis.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Book
Real-Time Systems: Specification, Verification, and Analysis
Joseph Mattai,Mathai Joseph +1 more
- 01 Dec 1995
TL;DR: From the Publisher: Real-time Systems: Specification, Verification and Analysis provides a detailed account of three major aspects of real-time systems: program structures for real- time, timing analysis using scheduling theory, and specification and verification in different formal frameworks.
Compositional specification and verification of distributed systems
TL;DR: A verification technique which reduces the problem of verifying the correctness of an implementation to classical verification conditions and is suitable in a development process where a detailed implementation is developed from an abstract specification through a sequence of refinement steps.
90
•Dissertation
Topological Dualities in Semantics
Marcello M. Bonsangue
- 07 Oct 1996
TL;DR: In this article, the authors present a Samenvatting (in Dutch) 257.255 Samenvatting(in Dutch, English, German, French, and Italian) 257
Specification of realtime systems using ASTRAL
TL;DR: The rationale of ASTRAL's design is discussed and the introduction of a composition section, which provides the needed information to combine two or more ASTRal system specifications, is discussed.
68
•Journal Article
A compositional approach to the design of hybrid systems
TL;DR: In this article, a compositional proof system for distributed real-time systems with Hoare triples with timing primitives has been proposed, where the interpretation is modified to specify nonterminating computations.
58