| Document Date: 2014-05-21 11:37:06
Open Document File Size: 446,14 KBShare Result on Facebook
City Puebla / / Company Microsoft / / Event Product Issues / / Facility University of Kent Abstract / / IndustryTerm pre-processing simplifications / pre-processing transformations / software verifiers / program verification tool / symbolic execution tool / abstract transition systems / model checking tool / pre-processing / constraint logic programming systems / / MarketIndex LIB / / Person Matthew Parkinson / Andrew E. Santosa / Jael E. Kriener / Corneliu Popeea / Andrey Rybalchenko / J. Berdine / A. Cox / Francisco Bueno / Manuel Carro / Jorge A. Navas / Manuel V. Hermenegildo / Christoph M. Wintersteiger / Flavio Lerda / Alberto Pettorossi / S. Ishtiaq / Daniel Kroening / Nikolaj Bjørner / Hossein Hojjat / Byron Cook / Emanuele De Angelis / Sergey Grebenshchikov / Viktor Kuncak / Edmund Clarke / Josh Berdine / Samin Ishtiaq / Fabio Fioravanti / Nathan Chong / Vijayaraghavan Murali / Maurizio Proietti / Joxan Jaffar / / Position representative / Princess / / Product Horn / routine / / ProgrammingLanguage C / T / / URL http /
SocialTag |
Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research; University of Kent Abstract. The program verification tool SLAyer us