[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
------------------------------------------------
VerifyThis Collaborative Long-Term Challenge
Call for Participation
Next Event: November 14 at iFM 2023, Leiden
The Netherlands (details see below)
https://urldefense.com/v3/__https://verifythis.github.io/__;!!IBzWLUs!RczXLS_qgtbMFjZswUivWgq-XaokPSwbCI3eGLtCG3BDg_TfQ4U-jypNbxCQKD-HzFCcopJvybAOxOwAdIy9HV8pp88itEZmLoo$
https://urldefense.com/v3/__https://liacs.leidenuniv.nl/*bonsanguemm/ifm23/__;fg!!IBzWLUs!RczXLS_qgtbMFjZswUivWgq-XaokPSwbCI3eGLtCG3BDg_TfQ4U-jypNbxCQKD-HzFCcopJvybAOxOwAdIy9HV8pp88iRNguapQ$
------------------------------------------------
The VerifyThis Collaborative Long-Term Challenge aims to to demonstrate
practical value of formal methods, to evaluate the current tools on
specifying and verifying requirements of realistic software systems, and
to bring together the community for an exchange on the state-of-the-art
and future directions.
An emphasis is placed on encouraging collaboration between participating
research groups,not just at a conceptual level but also towards
integrating verification tools and approaches, e.g., sharing technical
artifacts such as specifications and proofs.
Challenge Description: https://urldefense.com/v3/__https://verifythis.github.io/03memcached/__;!!IBzWLUs!RczXLS_qgtbMFjZswUivWgq-XaokPSwbCI3eGLtCG3BDg_TfQ4U-jypNbxCQKD-HzFCcopJvybAOxOwAdIy9HV8pp88ip3pBiTA$
Slides: https://urldefense.com/v3/__https://verifythis.github.io/03memcached/slides_etaps23.pdf__;!!IBzWLUs!RczXLS_qgtbMFjZswUivWgq-XaokPSwbCI3eGLtCG3BDg_TfQ4U-jypNbxCQKD-HzFCcopJvybAOxOwAdIy9HV8pp88icEyOJAs$
Reference System: https://urldefense.com/v3/__http://memcached.org__;!!IBzWLUs!RczXLS_qgtbMFjZswUivWgq-XaokPSwbCI3eGLtCG3BDg_TfQ4U-jypNbxCQKD-HzFCcopJvybAOxOwAdIy9HV8pp88iYkqYVrc$
The ongoing challenge is dedicated to Memcached, a key-value cache
server. Memcached is the backbone for fast response times in distributed
web-application. The goal is not only to provide an investigation on the
server alone, but also take the client-side and the protocol into
consideration. The challenge covers a wide range of requirements and is
therefore suited for different approaches and verification tools, such
as model-checking, static analysis, and deductive techniques. We welcome
all kinds of contributions from high-level specifications down to models
down code-level analysis.
Please announce your participation on the Mailing List:
[email protected] We encourage you to actively reach out for
collaboration!
**Next Event: **
We are pleased to announce that a full session at iFM 2023 will be
dedicated to a public discussion of the challenge. In this session, we
will give a short overview of the Long-Term Challenge, complemented by
lightning talks to stimulate an interactive discussion to foster further
activities. Therefore, we invite all interested researchers to join the
session - no additional registration is necessary.
If you have any questions, feel free to contact the organizers.
Gidon Ernst
Alexander Weigl
