Suresh Purini

Latest

• Model Checking as a Service using Dynamic Resource Scaling
• Distributed Safety Verification Using Vertex Centric Programming Model