scientific article; zbMATH DE number 1032897
zbMATH Open0869.68064MaRDI QIDQ4344071FDOQ4344071
Authors: Krzysztof R. Apt, Ernst-Rüdiger Olderog 
Publication date: 9 July 1997
Title of this publication is not available (Why is that?)
program verificationprogram transformationsproof systemsdistributed programsconcurrent programssequential programs
General topics in the theory of software (68N01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15) Logic in computer science (03B70)
Cited In (14)
- A unified approach of program verification
- Ernst-Rüdiger Olderog: A Life for Meaning
- Algebras of modal operators and partial correctness
- The origins of structural operational semantics
- Towards imperative modules: reasoning about invariants and sharing of mutable state
- Efficient verification of sequential and concurrent C programs
- Verification of sequential and concurrent programs
- An invariant-based approach to the verification of asynchronous parameterized networks
- Explicit fair scheduling for dynamic control
- Fairness for infinitary control
- Verification of fine-grain concurrent programs
- Synthesis of large dynamic concurrent programs from dynamic specifications
- A non-standard semantics for program slicing and dependence analysis
- On assertion-based encapsulation for object invariants and simulations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4344071)
