SpecifyThis – Bridging Gaps Between Program Specification Paradigms

Wolfgang Ahrendt*, Paula Herber, Marieke Huisman, Mattias Ulbrich

*Corresponding author for this work

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

1 Citation (Scopus)
44 Downloads (Pure)

Abstract

We motivate and summarise the track SpecifyThis – Bridging gaps between program specification paradigms, taking place at the International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer
Pages3-6
Number of pages4
ISBN (Print)9783031198489
DOIs
Publication statusPublished - 17 Oct 2022
Event11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Greece
Duration: 22 Oct 202230 Oct 2022
Conference number: 11

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume13701
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Abbreviated titleISoLA 2022
Country/TerritoryGreece
CityRhodes
Period22/10/2230/10/22

Keywords

  • Formal methods
  • Specification
  • Verification
  • 22/4 OA procedure

Fingerprint

Dive into the research topics of 'SpecifyThis – Bridging Gaps Between Program Specification Paradigms'. Together they form a unique fingerprint.

Cite this