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