scientific article; zbMATH DE number 3956417

MaRDI QIDQ3725529zbMATH OpenFDO

Authors Willem P. Jun. de Roever

Publication date 1986

zbMATH Keywords

Compositionalitycorrectness proofsproof systems for sequential and concurrent programsspecificationsyntactic subprograms

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3902009
• Concurrency verification. Introduction to compositional and noncompositional methods
• Compositionality Entails Sequentializability
• scientific article; zbMATH DE number 3903940
• Modular verification for shared-variable concurrent programs

Cited in

(36)

• A generalization of Owicki-Gries's Hoare logic for a concurrent while language
• Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
• A compositional protocol verification using relativized bisimulation
• Formal validation of data-parallel programs: a two-component assertional proof system for a simple language
• A foundation for modular reasoning about safety and progress properties of state-based concurrent programs
• Compositional reasoning for shared-variable concurrent programs
• Mechanizing compositional reasoning for concurrent systems: some lessons
• Concurrency verification. Introduction to compositional and noncompositional methods
• Constructing the views framework
• Views, compositional reasoning for concurrent programs
• Compositional action system derivation using enforced properties
• scientific article; zbMATH DE number 3902008 (Why is no real title available?)
• scientific article; zbMATH DE number 3902009 (Why is no real title available?)
• scientific article; zbMATH DE number 3903940 (Why is no real title available?)
• scientific article; zbMATH DE number 3905833 (Why is no real title available?)
• scientific article; zbMATH DE number 176727 (Why is no real title available?)
• Foreword
• scientific article; zbMATH DE number 1140074 (Why is no real title available?)
• scientific article; zbMATH DE number 1948163 (Why is no real title available?)
• scientific article; zbMATH DE number 1476492 (Why is no real title available?)
• scientific article; zbMATH DE number 4001463 (Why is no real title available?)
• scientific article; zbMATH DE number 910720 (Why is no real title available?)
• Assertional and behavioral approaches to concurrency
• UTCP: Compositional Semantics for Shared-Variable Concurrency
• Logical foundations for compositional verification and development of concurrent programs in UNITY
• Reasoning about recursive processes in shared-variable concurrency
• A calculus of atomic actions
• Ogre and Pythia: an invariance proof method for weak consistency models
• Thread modularity at many levels: a pearl in compositional verification
• Compositionality for tightly coupled systems: a new application of the propositions-as-types interpretation
• Programming Languages and Systems
• An experiment in program composition and proof
• Modular verification for shared-variable concurrent programs
• Specifying and reasoning about shared-variable concurrency
• Compositional verification of real-time applications
• The need for compositional proof systems: a survey

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 Q3725529)