SpecifyThis – Bridging Gaps Between Program Specification Paradigms
Paper in 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
Author
Wolfgang Ahrendt
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Paula Herber
University of Münster
Marieke Huisman
University of Twente
M. Ulbrich
Karlsruhe Institute of Technology (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-69783031198489 (ISBN)
11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Rhodes, Greece,
Rhodes, Greece,
Areas of Advance
Information and Communication Technology
Subject Categories
Embedded Systems
Computer Science
Computer Systems
DOI
10.1007/978-3-031-19849-6_1