| Document Date: 2012-08-15 16:20:10
Open Document File Size: 173,21 KBShare Result on Facebook
Company Microsoft / / Currency pence / / Facility Numerical Transition Systems Library / Satisfiability Modulo Theories Library / / IndustryTerm software model checking benchmarks / software verifiers / reactive systems / software model checking / software model / push-down systems / symbolic software / verification tools / logic-based tools / proof systems / Front-end tools / Transition systems / verification tool / / Person Ashutosh Gupta / Sriram Sankaranarayanan / Franjo Ivancic / Corneliu Popeea / Andrey Rybalchenko / Ming Kawaguchi / Shaz Qadeer / Robert DeLine / William R. Harris / Ken McMillan / K. Rustan M. Leino / Bart Jacobs / Shuvendu Lahiri / Andreas Podelski / Ali Sinan / Aarti Gupta / Nikolaj Bjørner / Clark Barrett / Ranjit Jhala / Akash Lal / Andrey Rybalchenko Technische Universit / Geoff Sutcliffe / Arie Gurfinkel / Stephan Schulz / Sergey Grebenshchikov / Aws Albarghouthi / Peter Baumgartner / Leonardo Mendonc / Viktor Kuncak / Koen Claessen / Philippe Suter / Hoder Bjørner / Michael Barnett / Maxim Rondon / Aaron Stump / Marsha Chechik / Bor-Yuh Evan Chang / Cesare Tinelli / / Position driver / straight-forward / model for the recursive predicates / head / / PublishedMedium Lecture Notes in Computer Science / / Technology simulation / interpolation-based algorithm / / URL www.SMT-LIB.org / http /
SocialTag |
Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research