Pages that link to "Item:Q2894274"
From MaRDI portal
The following pages link to Java Memory Model-Aware Model Checking (Q2894274):
Displaying 11 items.
- Automatic analysis of DMA races using model checking and \(k\)-induction (Q763238) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Model checking JAVA programs using JAVA PathFinder (Q1856163) (← links)
- The safety-critical Java memory model formalised (Q1941888) (← links)
- Memory model sensitive bytecode verification (Q2461564) (← links)
- (Q2722012) (← links)
- (Q2753764) (← links)
- (Q4413677) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463960) (← links)
- The Java Memory Model: Operationally, Denotationally, Axiomatically (Q5756503) (← links)
- Local Data Race Freedom with Non-multi-copy Atomicity (Q5883581) (← links)