Documents and Presentations

Handbook of Rebeca: [pdf]
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.

Rebeca Research Group
					Rebeca and its verification toolset is designed, developed, and maintained by Rebeca Research Group.
					We are a distributed team of academic researchers across several universities and research institutes around the globe.
					
          Documents
          User Manual
Examples

          Tools
          Afra
RMC
Jacco

          Connect
          Github