Periodic Reporting for period 1 - ARTIST (Automated Reasoning with Theories and Induction for Software Technology)

Software technologies are used everywhere, yet they are error-prone. The long list of software failures over the past years calls for serious concerns in our digitalsociety, imposing bad reputations and huge economic burdens on organizations, industries and...