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-69783031198489 (ISBN)
11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Rhodes, Greece,
Rhodes, Greece,
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
DOI
10.1007/978-3-031-19849-6_1