Home     Separation Logic     Specs     Tools     Thanks    


SL-COMP 2014 has been chaired by David Cok from GrammaTech, USA.

The competition used the STAR-EXEC server, which is hosted at The University of Iowa.

Interesting comments have been made by the participants to the competition discussion list.

Last modified: Tue Sep 16 16:55:25 CEST 2014