To create a never claim equivalent to an LTL formula 'p' invoke spin as follows: 
spin -f '!p'