Reiner Hähnle will present work on Context-aware Trace Contracts.
Time and Date: 10 July, 16.00 CEST, for Link see below.
[Read More]Contract Languages I: Alessandro Cimatti: Software Contracts meet System Contracts – 15 May 2024
As a follow-up to the March 2024 Lorentz Center workshop on Contract Languages, we will host a series of online presentations and discussions around formal methods with contract languages, aligning with the LTC goal of enabling information exchange between different formal systems.
The first presentation was given by Alessandro Cimatti on “Software Contracts meet System Contracts”.
The [slides] of this presentation are available.
Next Meeting: 23 January 2024
The next discussion meeting will be on 23 January 2024, 10.00 CET.
Program
- Presentation by Aurel Bílý on their approach using Prusti
- Technical Discussions
- Collaboration and Follow-up
Registration: Please sign up on the mailing list, we will post the Zoom link shortly before the meeting; alternatively send an E-Mail directly to the organizers.
Memcached Challenge
The second challenge will be disclosed at the ETAPS on Wed, 26th April 2023.
The introduction is scheduled in the TOOLympics session.
Next Meeting: 24 March 2022
Dear fellows,
the next discussion meeting will be on 24 March 2022, 14.00 CEST.
Regards,
Alexander
Next Meeting: 29 September 2021
Dear fellows,
the next discussion meeting will be on 29 September 2021, 14.00 CEST.
Regards,
Alexander
Online Discussion
Dear all,
A Dagstuhl meeting on Principles of Contract Languages had been
because of the Covid-19 pandemic.
Last April a number of groups participated in the online event for the Verify This Long Term Challenge 2020. As a follow-up on this, we would like to seize the opportunity to use the challenge and the available solutions to stipulate a discussion on the features that an ideal specification language would possess for this purpose.
[Read More]
Proceedings for the contributions available
Dear all,
the collection of extended abstracts for the contributions to the VerifyThis Long Term Challenge have been published as a technical report at KIT.
Online Event
Dear fellows,
We start with the preparation of an online event in which the submitted solution are presented and can be discussed.
The online event is not an replacement of the onsite meeting. The onsite event will take place if/when the ETAPS and the VerifyThis workshop take place.
Regards,
Alexander
ETAPS & COVID-19
Dear fellows,
the notification for the presentation are on the way to you. In the meantime, the ETAPS is postponed due to the COVID-19 spread.
Our information are currently limited to the official information on the ETAPS front-page: https://www.etaps.org/. But we stick to the plan of having an on-site event with the VerifyThis workshop.
Please stayed tuned in. When more information is available, we let you know on this web page and via the mailing-list verifythis-ltc@lists.
[Read More]