Tweet

RT @johnregehr: periodic reminder that formal verification complements testing, it doesn`t replace it https://t.co/60o2dnKA7G