Sciweavers

Share
CAV
2010
Springer

Learning Component Interfaces with May and Must Abstractions

9 years 7 months ago
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 (...
Rishabh Singh, Dimitra Giannakopoulou, Corina S. P
Added 15 Aug 2010
Updated 15 Aug 2010
Type Conference
Year 2010
Where CAV
Authors Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu
Comments (0)
books