About this document

Parameterized Verification with Guards by Kalpana Bhat is a document available to read on EtoBox.

This document presents a new computational model for parameterized verification of distributed systems, focusing on global synchronization protocols and the incorporation of global transition guards. The authors demonstrate that reachability properties are decidable for systems without guards and provide conditions for decidability in their presence, along with results on cutoffs for these properties. The model generalizes existing approaches and is evaluated against various distributed applications, showca

Author

Kalpana Bhat

Language

EN