scientific article; zbMATH DE number 1032897
From MaRDI portal
Publication:4344071
zbMath0869.68064MaRDI QIDQ4344071
Krzysztof R. Apt, Ernst-Ruediger Olderog
Publication date: 9 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent programsprogram transformationsproof systemsdistributed programsprogram verificationsequential programs
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Distributed algorithms (68W15)
Related Items (11)
Algebras of modal operators and partial correctness ⋮ The origins of structural operational semantics ⋮ Ernst-Rüdiger Olderog: A Life for Meaning ⋮ Fairness for Infinitary Control ⋮ Towards imperative modules: reasoning about invariants and sharing of mutable state ⋮ On assertion-based encapsulation for object invariants and simulations ⋮ Synthesis of large dynamic concurrent programs from dynamic specifications ⋮ An invariant-based approach to the verification of asynchronous parameterized networks ⋮ A unified approach of program verification ⋮ Explicit Fair Scheduling for Dynamic Control ⋮ A non-standard semantics for program slicing and dependence analysis
This page was built for publication:
