Visible to the public ARCH 2020 Best Result AwardConflict Detection Enabled

Submitted by frehse on Tue, 08/04/2020 - 12:11pm

The ARCH 2020 Best Result Award goes to Luis Benet, Marcelo Forets, Daniel Freire, David P. Sanders, and Christian Schilling (in alphabetical order) for their verification tool JuliaReach. The award comes with a 500 Euro prize. Congratulations!