Third Online Training

Held by Sorin Stratulat and Renata Bunoiu in 02 July 2020 on Google Meet


We present an overview of our teaching materials related to Automated Reasoning and the ARC book, concerning:

  • Mathematical logic
  • Proofs by induction
  • Static analysis of Java code using JML
  • Applications

Some examples are given using the following tools: