scientific article; zbMATH DE number 1032897

MaRDI QIDQ4344071zbMATH OpenFDO

Authors Krzysztof R. Apt, Ernst-Rüdiger Olderog

Publication date 9 July 1997

zbMATH Keywords

program verificationprogram transformationsproof systemsdistributed programsconcurrent programssequential programs

Mathematics Subject Classification ID

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)