Browsing Computer Science and Automation (CSA) by Author "Mishra, Ashish"
Now showing items 1-1 of 1
-
Typestates and Beyond: Verifying Rich Behavioral Properties Over Complex Programs
Mishra, AshishStatically verifying behavioral properties of programs is an important research problem. An efficient solution to this problem will have visible effects over multiple domains, ranging from program development, program ...