Dr. Aravinda Prasad S***

B Tech As Part Methods is Early Works Such Systems Earlier Work Widespread Use Model Checking Temporal Logic Two Directions Following Areas Various Methods Checking Safety Safe Deployment Autonomous Cars Timely Monitors Arbitrary Number Active Databases Computer Science Textual Databases Concurrent Systems Concurrent Program Processes Composed Home Assist Robots Preventing Leakage Static Verification Liveness Properties It Becomes Important Runtime Verification Specifications Given