M. Emília C. Duarte

Learn More
Warnings are a very important method to control hazards and to promote safety. Despite its importance, warnings have important gaps that limit their validity and make its design so difficult. In this sense, warnings effectiveness evaluation is crucial to guarantee effective people safety. However, warnings traditional evaluation methodologies have several(More)
We describe work in progress to create a system for organising and presenting a set of challenge problems collected by the Induction Theorem Proving community. These challenge problems come from a number of sources and are presented in different logics using different presentation conventions. The intention is to provide a system which will allow these(More)
  • 1