Verifying real-world software with contracts for concurrency

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
8 Downloads (Pure)

Abstract

In this paper we present Contracts for Concurrency. A contract for concurrency specifies the protocol to access the services provided by a software module or library. A program that respects a (well-defined and complete) contract for a module is safe from high-level atomicity violations with respect to that module. On the other hand, violations of a contract may denote errors in the program, and the application of contracts for concurrency to some real-world open source software packages did uncover a few latent bugs.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings
EditorsTiziana Margaria, Bernhard Steffen
Place of PublicationCham
PublisherSpringer
Pages70-73
Number of pages4
ISBN (Electronic)978-3-030-03427-6
ISBN (Print)978-3-030-03426-9
DOIs
Publication statusPublished - 1 Jan 2018
Event8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 - Limassol, Cyprus
Duration: 5 Nov 20189 Nov 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume11247 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
CountryCyprus
CityLimassol
Period5/11/189/11/18

Fingerprint Dive into the research topics of 'Verifying real-world software with contracts for concurrency'. Together they form a unique fingerprint.

  • Cite this

    Lourenço, J. M. (2018). Verifying real-world software with contracts for concurrency. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings (pp. 70-73). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11247 LNCS). Cham: Springer. https://doi.org/10.1007/978-3-030-03427-6_9