Visible to the public The Best ARCH 2017 Paper Award Tool Award goes to Stanley Bak and Parasara Sridhar DuggiralaConflict Detection Enabled

Submitted by althoff on Mon, 06/05/2017 - 1:10pm

The Best ARCH 2017 Paper Award goes to Stanley Bak and Parasara Sridhar Duggirala for their paper "Direct Verification of Linear Systems with over 10000 Dimensions". Congratulations! The award comes with a 500 Euro prize from Bosch.