Work

A verification technique for deterministic parallel programs

Year: 2017

Type: conference-paper

Abstract: Software is omnipresent, and software failures can have tremendous costs for society and economy. Therefore, we need techniques to improve the quality of software, and to prevent software failures. Program verification can help to improve this situation, as it allows to check properties on all possible behaviours of a program. We focus in particular on the verification of concurrent software, which is even more error-prone, because of the possible interleavings between the different threads.

Source: International Symposium on Principles and Practice of Declarative Programming (PPDP)

DOI: 10.1145/3131851.3131852

Author: Marieke Huisman

Institution: University of Twente

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2762592033

FWCI: 0.545

Cites: 22

Cited by: 3

Related to: 10