scientific article
From MaRDI portal
Publication:3999717
zbMath0733.68053MaRDI QIDQ3999717
Krzysztof R. Apt, Ernst-Ruediger Olderog
Publication date: 23 January 1993
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) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Distributed algorithms (68W15)
Related Items
A verification framework for agent programming with declarative goals ⋮ Deadlock-free absorption of barrier synchronisations ⋮ Ordinal arithmetic: Algorithms and mechanization ⋮ Bounded delay for a free address ⋮ A mechanical proof of Segall's PIF algorithm ⋮ Petri net based verification of distributed algorithms: An example ⋮ Towards verification of C\(\#\) programs: a three-level approach ⋮ On mechanizing proofs within a complete proof system for Unity ⋮ Formal validation of data-parallel programs: a two-component assertional proof system for a simple language ⋮ A computer scientist looks at game theory. ⋮ Wait-free linearization with an assertional proof ⋮ Wait-free linearization with a mechanical proof ⋮ Unnamed Item ⋮ Formal derivation of an algorithm for distributed phase synchronization ⋮ On the purpose of Event-B proof obligations ⋮ Lazy behavioral subtyping ⋮ Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules ⋮ From Philosophical to Industrial Logics ⋮ Incremental Reasoning for Multiple Inheritance ⋮ Fifty years of Hoare's logic ⋮ Theories for mechanical proofs of imperative programs ⋮ Formal verification of a programming logic for a distributed programming language ⋮ On the completeness of propositional Hoare logic
