Practical abstractions for automated verification of shared-memory concurrency

DOI10.1007/978-3-030-39322-9_19OpenAlexW2999161693MaRDI QIDQ784156FDOQ784156

Marieke Huisman, Dilian Gurov, Wytse Oortwijn

Publication date: 5 August 2020

Full work available at URL: http://hdl.handle.net/20.500.11850/465582

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• Title not available (Why is that?)
• Parameterized Verification of Asynchronous Shared-Memory Systems
• Caper
• Effective Abstractions for Verification under Relaxed Memory Models

Uses Software

• Chalice
• VeriFast
• Threader
• VerCors
• Viper
• CIVL

This page was built for publication: Practical abstractions for automated verification of shared-memory concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784156)