Award Details

Medals from the International Competition in Software Verification SV-COMP 2021

Year: 2021

Level
international
Category
research and development
URL
Persons
Description

The tools Symbiotic (V. Šoková; the tool is being primarily developed at FI MU) and 2LS (V. Malík, T. Vojnar; the tool is being primarily developed by DiffBlue) took part in the International Software Verification Competition SV-COMP'21 where they won two gold and one bronze medal.

Back to top