Browsing by Author "Bhateja, Puneet"
Now showing items 1-5 of 5
-
Designing distributed systems w.r.t conformance
Agrawal, Vishakha (Dhirubhai Ambani Institute of Information and Communication Technology, 2018)This thesis is about revisiting an old yet classic problem - From a labeled transition system (LTS), can a distributed labeled transition system (DLTS) be synthesized such that the behavior of both systems are equivalent. ... -
Modeling and Formal Verification of The Dining Philosophers Problem Using SPIN
Makvana, Kripalsinh (Dhirubhai Ambani Institute of Information and Communication Technology, 2022)The SPIN tool is used for verifying the correctness of the system. SPIN stands for simple PROMELA interpreter. It�s been used to find design problems in systems. The main idea behind the thesis is to provide an overview ... -
Synthesis of distributed systems w.r.t. isomorphism
Sagathiya, Ridhamkumar (Dhirubhai Ambani Institute of Information and Communication Technology, 2018)This thesis focuses on the construction of the distributed system from global specifications. Our main focus is only on distribution as a synchronous product of transition systems. By having prior knowledge of a global ... -
Testing Labelled Transition System
Christian, Ruzvelt (Dhirubhai Ambani Institute of Information and Communication Technology, 2017)"For a successful interaction among computer systems from distinct manufactures, standardize communication protocol are being generated and specified. Implementation of those protocol are required that conforms to those ... -
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 ...