A verificação formal não vai salvá-lo! a especificação pode ter bugs!!
5,61K