Tutorials

  • Tutorial on “The TLA+ Language and Tools for Specifying and Verifying Systems” – Stephan Merz, INRIA, France
  • Tutorial on “Performance and Compliance Anomaly Detection” – Gabriel Iuhasz, West University of Timisoara, Romania