Verification of Concurrent and Distributed Software

View on Github

Latest News

New VerCors related work

November 4, 2019

Anton Wijs and Maciej Wiłkowski present a paper involving VerCors at SEFM 2019

In Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators, Anton Wijs and Maciej Wiłkowski use VerCors to assist the verification of automated code generation of multi-threaded programs for model-driven development.

FMT member Sophie Lathouwers wins the Greenhost prize of the Koninklijke Hollandsche Maatschappij der Wetenschappen

November 4, 2019

Sophie Lathouwers has won the Greenhost prize of the Koninklijke Hollandsche Maatschappij der Wetenschappen with her Master thesis “Reasoning About the Correctness of Sanitizers.”

The prize is in the category of Internet & Technical Sciences, it is awarded through the KHMW (Royal Dutch Institute of Sciences), and sponsored by Greenhost. The prize-giving ceremony will take place on Thursday November 7 next at 15:00 in Amsterdam (REC, room C0.01, Nieuwe Achtergracht 166). There, Sophie will give a short presentation on her work. For more information visit here .

"Wytse Oortwijn's PHD thesis defence: December 12"

November 4, 2019

Wytse Oortwijn PHD thesis defence is approaching

Wytse has contributed to VerCors for several years, during his PhD projects in the FMT group under the supervision of Prof Marieke Huisman. He will be defending his thesis, entitled “Deductive Techniques for Model-Based Concurrency Verification” on Thursday 12th of December, 16:30 to 18:00 at Waaier, 4-G, Berkhoffzaal, University of Twente. For an introduction to his thesis and more information about the defence follow this link.

Marieke Huisman talked about software reliability at KNAW

November 4, 2019

Prof. Marieke Huisman, leader of the FMT group and the VerCors team, was one of the speakers at a public symposium called Verificatie van software: erg complex maar in ieders belang (Software verification: very complex but in everyone’s interest) at the Koninklijke Nederlandse Akademie van Wetenschappen.

She gave an overview of the area of deductive program verification, and how VerCors contributes to this area. Here’s an impression of the evening. A recording of the symposium will be made available via TXT radio.

Two papers accepted at iFM 2019

October 9, 2019

Two papers written by Wytse Oortwijn and Marieke Huisman have been accepted in this year’s edition of iFM.

“Practical Abstractions for Automated Verification of Message Passing Concurrency” presenting a new technique which integrates model based verification and code verification for message passing programs and “Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System”, a case study in the use of VerCors in a critical industrial system, have been accepted at the 15th International Conference on integrated Formal Methods taking place between the 2nd and the 6th of December this year, at Bergen, Norway.

More news

    Tool Installation

    The VerCors toolset can be installed on macOSX, Linux and Windows (via Cygwin). Follow the complete installation guidelines here.

    Latest Publications

    A complete list of publications is listed here.

    Latest Release

    VerCors version 1.0 has been released.