Program-Equivalence-Using-Petri-Nets

This repository contains the proceedings for my Study Project (BITS Pilani – CS F266).

Overview

• Literature review : Gave a series of presentations on the structure, types, properties and modelling examples of Petri Nets.

• Explored the use of Petri Nets as a formal verification tool to determine whether two C programs exhibit equivalent behavior.