Verification of sequential and concurrent programs
type: Item
instance of: scholarly article
title: Verification of sequential and concurrent programs
zbMATH Open document ID: 1183.68361
DOI: 10.1007/978-1-84882-745-5
author: Frank S. de Boer
author: Krzysztof R. Apt
author: Ernst-Rüdiger Olderog
published in: Texts in Computer Science
publication date: 2009-09-10T00:00:00Z
full work available at URL: https://ir.cwi.nl/pub/14569
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68-02
zbMATH DE Number: 5602955
describes a project that uses: Isabelle/HOL
describes a project that uses: PVS
MaRDI profile type: Publication
OpenAlex ID: W2569787747
Recommended article: Q3999717
Recommended article: Q4344071
Recommended article: Verifying Concurrent Programs against Sequential Specifications
Recommended article: Programmverifikation
Recommended article: Efficient verification of sequential and concurrent C programs
Recommended article: Verification of fine-grain concurrent programs
Recommended article: Verification of concurrent programs: The automata-theoretic framework
Recommended article: Specification and verification of concurrent programs through refinements
Recommended article: Q3012541
description: scientific article; zbMATH DE number 5602955