Practical abstractions for automated verification of shared-memory concurrency

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

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)

Uses Software

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

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