scientific article; zbMATH DE number 1552508
From MaRDI portal
Publication:4524764
zbMATH Open0970.68149MaRDI QIDQ4524764FDOQ4524764
Authors: Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Michael Balser 
Publication date: 15 January 2001
Title of this publication is not available (Why is that?)
Recommendations
Cited In (22)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs
- Cogent: uniqueness types and certifying compilation
- Proving linearizability with temporal logic
- Completeness of fair ASM refinement
- ASM refinement and generalizations of forward simulation in data refinement: a comparison
- \( \mathbb{K}\) and KIV: towards deductive verification for arbitrary programming languages
- Formal verification of a lock-free stack with hazard pointers
- Title not available (Why is that?)
- Model checking simulation rules for linearizability
- Compositional reasoning using intervals and time reversal
- Title not available (Why is that?)
- Automated flaw detection in algebraic specifications
- Relational concurrent refinement. II: Internal operations and outputs
- KIV
- A sound and complete proof technique for linearizability of concurrent data structures
- A framework for correctness criteria on weak memory models
- A Compiled Implementation of Normalization by Evaluation
- Atomic actions, and their refinements to isolated protocols
- A verified implementation of \(\mathrm{B}^+\)-trees in Isabelle/HOL
- Verifying opacity of a transactional mutex lock
- Completeness of ASM refinement
- Verification of concurrent systems with VerCors
Uses Software
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 Q4524764)
