SpecifyThis – Bridging Gaps Between Program Specification Paradigms
Paper i proceeding, 2022

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.

Specification

Formal methods

Verification

Författare

Wolfgang Ahrendt

Chalmers, Data- och informationsteknik, Formella metoder

Paula Herber

Universität Münster

Marieke Huisman

Universiteit Twente

M. Ulbrich

Karlsruher Institut für Technologie (KIT)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 13701 LNCS 3-6
9783031198489 (ISBN)

11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Rhodes, Greece,

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Inbäddad systemteknik

Datavetenskap (datalogi)

Datorsystem

DOI

10.1007/978-3-031-19849-6_1

Mer information

Senast uppdaterat

2023-10-27