Two MOVES papers in Top-5 most cited papers at CAV 2015-2021

The papers on the Storm model checker and the parameter synthesis tool Prophesy are both among the five most cited CAV papers in the period 2015-2021. CAV (Computer-Aided Verification) is a flagship conference on automated verification, in particular model checking.

More details can be found here: