Learning Component Interfaces with May and Must Abstractions

elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, May 2004 • Secured 97.6 % marks in XII AISSCE CBSE 2004 • Ranked 1st in India • Awarded to be Prime Minister’s guest at Republic Day Parade,Rajpath New Delhi 2005 Publications Rishabh Singh, Dimitra Giannakopoulou, Corina Pasareanu. Learning Component es with May and Must Abstractions. 22nd International Conference on Computer Aided Verification (CAV 2010), Edinburg, UK (To Appear) Andrey Rybalchenko, Rishabh Singh. Subsumer-first: Steering Symbolic Reachability Analysis. 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), Grenoble, France Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson. Equality and Hashing for (almost) Free: Generating Implens from Abstraction Functions. 31st International Conference on Software Engineering (...

• Type: Conference
• Year: 2010
• Where: CAV
• Authors: Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu
• Keywords: Andrey Rybalchenko, Canada Rishabh Singh, CAV 2010, Hardware, Rishabh Singh