Documents and Presentations

  • Rebeca User Manual: [pdf]
  • Introduction to Rebeca: [mp4]
  • Formal Verification of Cyber-Physical Systems [pdf] , 19 February 2024, Norwegian University of Science and Technology (NTNU), Trondheim, Norway.