View Document Preview and Link Document Date: 2011-11-18 09:02:21 Open Document File Size: 349,33 KB Share Result on Facebook
Company LA BV BV BV / Intel / / / Facility More complex / A store / Blocks Store / / IndustryTerm open-source tool / verification tools / compiler infrastructure / symbolic execution tool / above tools / verification tool / / OperatingSystem Ubuntu / / Organization Serbia milena@matf.bg.ac.rs School of Computer and Communication Sciences / Swiss National Science Foundation / Serbian Ministry of Science / Faculty of Mathematics / / Person LA LA / Milena Vujo / / ProgrammingLanguage ANSI C / Ada / C / Fortran / C++ / / Technology RAM / ANSI C / / URL http / SocialTag 
Development and Evaluation of LAV: an SMT-Based Error Finding Platform? System Description Milena Vujoˇsevi´c-Janiˇci´c1 and Viktor Kuncak2 1