Browsing M Tech Dissertations by Author "Vishwakarma, Nikita"
Now showing items 1-1 of 1
-
Testing synchronously communicating distributed systems
Vishwakarma, Nikita (Dhirubhai Ambani Institute of Information and Communication Technology, 2018)In our work we are supposed to test whether the generated distributed implementation(or distributed network) behaves similar to that of given specification. We are doing this over synchronously communicating FSMs(Finite State ...