Write a Blog >>
SPIN 2017
co-located with ISSTA 2017

SPIN and ISSTA are pleased to feature the Rigorous Examination of Reactive Systems (RERS) Workshop comprising the RERS Verification Challenge. Refer to the RERS 2017 website for more information.