Work

SpecifyThis—Bridging Gaps Between Program Specification Paradigms: Track Introduction

Year: 2026

Type: conference-paper

Abstract: The track SpecifyThis at the International Symposium on Leveraging Applications of Formal Methods (ISoLA 2026) aims to establish bridges across different program specification and verification paradigms: What are the theoretical considerations of extending and integrating existing techniques towards another? How can different views on disparate aspects of correctness be rectified within uniform frameworks? What are the practical concerns and implications when implementing verification tools and how can advances in this area be demonstrated through case studies? The SpecifyThis track presents 15 contributions with respect to these questions, ranging from foundations to applications.

Source: Lecture notes in computer science

DOI: 10.1007/978-3-032-40118-2_1

Authors: Alessandro Cimatti, Gidon Ernst, Paula Herber, Marieke Huisman, Mattias Ulbrich