Browsing M Tech Dissertations by Subject "Conformance"
Now showing items 1-1 of 1
-
Testing synchronously communicating distributed systems
(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 ...