VerifyThis Long-term Challenge starts NOW!

by Raul Monti, Sept. 6, 2019

With the VerifyThis Long-Term Challenge we would like to see how far the formal verification community can get within 6 months if they collaborate to verify a real-world software application.

Dear colleagues,

 

We would like to invite you to join the first

 

VerifyThis Collaborative Long-Term Challenge!

https://verifythis.github.io

or watch the video: https://vimeo.com/357544904

 

VerifyThis is a program verification competition, which is annually held at ETAPS. During the competition, participants work for 90 minutes on relatively small but intriguing verification challenges.

 

With the VerifyThis Long-Term Challenge we would like to see how far the formal verification community can get within 6 months if they collaborate to verify a real-world software application.

 

The VerifyThis Long-Term Challenge is starting now, and it will be open until 29th of February, 2020. We would like to encourage everybody in the formal verification community to participate in this challenge, and to use their tools and technique to tackle parts of the challenges.

 

More information about the challenge is available at https://verifythis.github.io.

 

On this page, you can register your team, and subscribe to our mailing list. The mailing list will be used to for communication and collaboration between the participants, and it will allow you to stay up to date with the other teams' progress.

 

The results of the challenge will be presented during [email protected] In addition, we plan to prepare a special results with (individual and collaborative) solutions.

 

We look forward to your contribution!

 

Mattias Ulbrich & Alexander Weigl  --- Karlsruhe Institute of Technology, Germany.

Marieke Huisman & Raul Monti       --- University of Twente, Netherlands.