Cobblestone: Un enfoque de divide y vencerás para automatizar la verificación formal.