Verification of Concurrent Systems with VerCors
type: Item
instance of: scholarly article
title: Verification of Concurrent Systems with VerCors
zbMATH Open document ID: 1445.68131
DOI: 10.1007/978-3-319-07317-0_5
author: Afshin Amighi
author: Stefan Blom
author: Saeed Darabi
author: Marieke Huisman
author: Wojciech Mostowski
author: Marina Zaharieva-Stojanovski
published in: Lecture Notes in Computer Science
publication date: 2015-02-25T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6408112
describes a project that uses: OpenCL
describes a project that uses: GPUVerify
describes a project that uses: jStar
describes a project that uses: Spec#
describes a project that uses: VCC
describes a project that uses: VeriFast
describes a project that uses: Smallfoot
describes a project that uses: KIV
describes a project that uses: ANTLR
describes a project that uses: Dafny
describes a project that uses: CUDA
describes a project that uses: Eiffel
describes a project that uses: JML
describes a project that uses: Chalice
describes a project that uses: Boogie
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-319-07317-0 5
OpenAlex ID: W1574577245
cites work: Resource Protection Using Atomics
cites work: Ten Years of Hoare's Logic: A Survey—Part I
cites work: Q4813391
cites work: Q5584402
cites work: Local Reasoning for Storable Locks and Threads
cites work: Permission-Based Separation Logic for Multithreaded Java Programs
cites work: An axiomatic basis for computer programming
cites work: Barriers in Concurrent Separation Logic
cites work: Dafny: An Automatic Program Verifier for Functional Correctness
cites work: Q3787422
cites work: Q4371400
cites work: Modular invariants for layered object structures
cites work: Resources, concurrency, and local reasoning
cites work: An axiomatic proof technique for parallel programs
cites work: Separation logic and abstraction
cites work: The relationship between separation logic and implicit dynamic frames
cites work: Q4524764
cites work: Automatic verification of Java programs with dynamic frames
description: scientific article; zbMATH DE number 6408112