Documents

Rebeca User Manual: [pdf]

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