Pages that link to "Item:Q5326305"
From MaRDI portal
The following pages link to Software Verification for Weak Memory via Program Transformation (Q5326305):
Displaying 21 items.
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\) (Q400514) (← links)
- Effective abstractions for verification under relaxed memory models (Q681346) (← links)
- Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL (Q832723) (← links)
- Formal verification of a C-like memory model and its uses for verifying program transformations (Q945054) (← links)
- Stateless model checking for TSO and PSO (Q1683934) (← links)
- Dynamic symbolic verification of MPI programs (Q2024366) (← links)
- Operational semantics with semicommutations (Q2043812) (← links)
- Parameterized model checking on the TSO weak memory model (Q2208293) (← links)
- Verification of concurrent programs using Petri net unfoldings (Q2234071) (← links)
- Ranking function synthesis for bit-vector relations (Q2248069) (← links)
- Explaining relaxed memory models with program transformations (Q2281648) (← links)
- Automatic Memory Management Based on Program Transformation Using Ownership (Q2789036) (← links)
- CCA-Secure Keyed-Fully Homomorphic Encryption (Q2798772) (← links)
- (Q3130550) (← links)
- Verification of Concurrent Programs on Weak Memory Models (Q3179387) (← links)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach (Q5056374) (← links)
- (Q5109519) (← links)
- Finding Effective SAT Partitionings Via Black-Box Optimization (Q5153508) (← links)
- Context-Bounded Analysis of TSO Systems (Q5170741) (← links)
- (Q5856416) (← links)
- Parallelized sequential composition and hardware weak memory models (Q6045051) (← links)
