Safety and Verification Track






    Anurag Agarwal, Vijay Garg and Vinit Ogale. Modeling and Analyzing Periodic Distributed Computations

    Fuad Abujarad and Sandeep Kulkarni. Complexity Issues in Automated Model Revision Without Explicit Legitimate States

    Ioannis Chatzigiannakis, Othon Michail and Paul Spirakis. Algorithmic Verification of Population Protocols