Learning to Verify Design Solutions from Failure Knowledge Paulo Gomes 1 CISUC - Centro de Informática e Sistemas da Universidade de Coimbra Polo II, 3030 Coimbra pgomes@eden.dei.uc.pt Voice: +351 39 7000046 Carlos Bento CISUC - Centro de Informática e Sistemas da Universidade de Coimbra Polo II, 3030 Coimbra pgomes@eden.dei.uc.pt Voice: +351 39 7000072 Pedro Gago 1,2 2 Escola Superior de Tecnologia e Gestão - Instituto Superior Politécnico de Leiria Morro do lena, 2400 Leiria pgago@estg.iplei.pt Short Title: Learning from Failure Knowledge Number of manuscript pages: 18 Number of Tables: 0 Number of Figures: 9 Number of Reference pages: 2 Page 1