Semantic Symmetries for Model Checking
S. Kavitha1, I. Mary Linda2, Jeya Priya3
1S. Kavitha, Department of Computer Science and Engineering, Bharath Institute of Higher Education and Research, Chennai (Tamil Nadu), India.
2I. Mary Linda, Department of Computer Science and Engineering, Bharath Institute of Higher Education and Research, Chennai (Tamil Nadu), India.
3Jeyapriya, Department of Computer Science and Engineering, Bharath Institute of Higher Education and Research, Chennai (Tamil Nadu), India.
Manuscript received on 18 August 2019 | Revised Manuscript received on 09 September 2019 | Manuscript Published on 17 September 2019 | PP: 879-882 | Volume-8 Issue-2S8 August 2019 | Retrieval Number: B13420882S819/2019©BEIESP | DOI: 10.35940/ijrte.B1342.0882S819
Open Access | Editorial and Publishing Policies | Cite | Mendeley | Indexing and Abstracting
© The Authors. Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open access article under the CC-BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)
Abstract: The improvement of DNS has reproduced the area character part, and current patterns propose that the improve-ment of red-dark trees will before long rise. It may appear to be sudden yet is gotten from known outcomes. Following quite a while of dubious investigation into RPCs, we demonstrate the investigation of Smalltalk, which typifies the organized standards of systems administration. In this work we affirm not just that DHTs and e-business can interface with settle this test, however that the equivalent is valid for the maker purchaser issue. [1],[ 3],[5].
Keywords: Design, Algorithms, Models.
Scope of the Article: Probabilistic Models and Methods