SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction

Gidon Ernst; Paula Herber; Marieke Huisman; Mattias Ulbrich

doi:10.1007/978-3-031-75380-0_1

SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction

Gidon Ernst^*
, Paula Herber
, Marieke Huisman
, Mattias Ulbrich

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

11 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 2024.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification
Subtitle of host publication	12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 Proceedings, Part III
Editors	Tiziana Margaria, Bernhard Steffen
Place of Publication	Cham, Switzerland
Publisher	Springer
Pages	3-7
Number of pages	5
ISBN (Electronic)	978-3-031-75380-0
ISBN (Print)	978-3-031-75379-4
DOIs	https://doi.org/10.1007/978-3-031-75380-0_1
Publication status	Published - 30 Oct 2024
Event	12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024 - Crete, Greece Duration: 27 Oct 2024 → 31 Oct 2024 Conference number: 12

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	15221
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024
Abbreviated title	ISoLA 2024
Country/Territory	Greece
City	Crete
Period	27/10/24 → 31/10/24

Keywords

2025 OA procedure
Specification
Verification
Formal methods

Access to Document

10.1007/978-3-031-75380-0_1

978-3-031-75380-0_1Final published version, 144 KBLicence: Taverne

Cite this

Ernst, G., Herber, P., Huisman, M., & Ulbrich, M. (2024). SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 Proceedings, Part III (pp. 3-7). (Lecture Notes in Computer Science; Vol. 15221). Springer. https://doi.org/10.1007/978-3-031-75380-0_1

Ernst, Gidon ; Herber, Paula ; Huisman, Marieke et al. / SpecifyThis Bridging Gaps Between Program Specification Paradigms : Track Introduction. Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 Proceedings, Part III. editor / Tiziana Margaria ; Bernhard Steffen. Cham, Switzerland : Springer, 2024. pp. 3-7 (Lecture Notes in Computer Science).

@inproceedings{e43b75f69b494a8b94675aac3b8eafd0,

title = "SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction",

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 2024.",

keywords = "2025 OA procedure, Specification, Verification, Formal methods",

author = "Gidon Ernst and Paula Herber and Marieke Huisman and Mattias Ulbrich",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.; 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, ISoLA 2024 ; Conference date: 27-10-2024 Through 31-10-2024",

year = "2024",

month = oct,

day = "30",

doi = "10.1007/978-3-031-75380-0\_1",

language = "English",

isbn = "978-3-031-75379-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "3--7",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification",

address = "Germany",

}

Ernst, G, Herber, P, Huisman, M & Ulbrich, M 2024, SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 Proceedings, Part III. Lecture Notes in Computer Science, vol. 15221, Springer, Cham, Switzerland, pp. 3-7, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024, Crete, Greece, 27/10/24. https://doi.org/10.1007/978-3-031-75380-0_1

SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. / Ernst, Gidon; Herber, Paula; Huisman, Marieke et al.
Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 Proceedings, Part III. ed. / Tiziana Margaria; Bernhard Steffen. Cham, Switzerland: Springer, 2024. p. 3-7 (Lecture Notes in Computer Science; Vol. 15221).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - SpecifyThis Bridging Gaps Between Program Specification Paradigms

T2 - 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024

AU - Ernst, Gidon

AU - Herber, Paula

AU - Huisman, Marieke

AU - Ulbrich, Mattias

N1 - Conference code: 12

PY - 2024/10/30

Y1 - 2024/10/30

N2 - 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 2024.

AB - 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 2024.

KW - 2025 OA procedure

KW - Specification

KW - Verification

KW - Formal methods

UR - https://www.scopus.com/pages/publications/85208598504

U2 - 10.1007/978-3-031-75380-0_1

DO - 10.1007/978-3-031-75380-0_1

M3 - Conference contribution

AN - SCOPUS:85208598504

SN - 978-3-031-75379-4

T3 - Lecture Notes in Computer Science

SP - 3

EP - 7

BT - Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

CY - Cham, Switzerland

Y2 - 27 October 2024 through 31 October 2024

ER -

Ernst G, Herber P, Huisman M, Ulbrich M. SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 Proceedings, Part III. Cham, Switzerland: Springer. 2024. p. 3-7. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-75380-0_1

SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this