Back to Results
First PageMeta Content
Formal methods / Mathematics / Electronic design automation / Logic in computer science / NP-complete problems / Satisfiability Modulo Theories / Z3 / Boolean satisfiability problem / First-order logic / Theoretical computer science / Constraint programming / Applied mathematics


Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura Microsoft Research One Microsoft Way Redmond, WA 98052
Add to Reading List

Document Date: 2011-09-16 13:35:41

Open Document

File Size: 95,25 KB

Share Result on Facebook

City

Saarbr / Aachen / Toronto / /

Company

Ge / IEEE Software / Microsoft / /

Country

United States / Canada / /

/

Event

FDA Phase / /

IndustryTerm

test tools / software analysis engines / static analysis tool / power-tool / rank-synthesis tools / system software / software analysis / basic algorithm / software development / software verification / automata algorithms / software bugs / important applications / purpose algorithms / computing / technology underlying / uncovering software bugs / /

OperatingSystem

Windows 7 / Singularity / /

Organization

Department of Justice / European Commission / IEEE Computer Society / /

Person

Pieter Hooimeijer / Thomas A. Henzinger / Oded Maler / Moura / Paul Baker / Mercedes G. Merayo / Wolfgang Grieskamp / Khaled El-Fakih / Shaz Qadeer / Shuvendu K. Lahiri / Keiichi Yasumoto / Saman P. Amarasinghe / Florian Zuleger / Andreas Podelski / Xiao Qu / Xiangjun Wei / Benjamin G. Zorn / Byron Cook / Nikhil Swamy / Benjamin C. Pierce / David J. Sielaff / Andreas Blass / George C. Necula / Alexander Aiken / Chris Hawblitzel / Leonardo Mendonc / Anna Philippou / Jonathan D. Pincus / Josh Berdine / Sriram K. Rajamani / Jonathan P. Bowen / MAX ULONG / Zhong Shao / Zvonimir Rakamari / Brian Hackett / Nikolai Tillmann / Sumit Gulwani / William R. Bush / Jean Yang / Andrey Rybalchenko / Aaron R. Bradley / Nicolas Kicillof / Erez Petrank / David Molnar / Scott McPeak / SIGSOFT FSE / Jeremy Condit / David A. Schmidt / Dirk Beyer / Yuri Gurevich / Ramarathnam Venkatesan / Kedar S. Namjoshi / Rupak Majumdar / Teruo Higashino / Saurabh Srivastava / Ravi Chugh / Michael Col´on / Nikolaj Bjørner / Juan Chen / Sergio Maffeis / Henny B. Sipma / Ando Saabas / Alexander Raschke / Paul Boca / Michael J. Butler / Benjamin Livshits / Zohar Manna / Samin Ishtiaq / Myra B. Cohen / Jeffrey S. Foster / Margus Veanes / Andrew D. Gordon / /

/

Position

editor / collector / Static Driver / model for ∀x / model / programmer / Butler / /

Product

PREfix / Z3 / using Z3 / Spec Explorer / /

ProgrammingLanguage

C / J / C++ / /

ProvinceOrState

Washington / Ontario / /

PublishedMedium

IEEE Software / Lecture Notes in Computer Science / /

Technology

250+ protocol / purpose algorithms / operating system / CAV / simulation / DASH/Synergy algorithms / basic algorithm / /

URL

http /

SocialTag