Back to Results
First PageMeta Content
Logic in computer science / Metalogic / Electronic design automation / NP-complete problems / Satisfiability Modulo Theories / Model theory / Formal verification / Extended static checking / Model checking / Theoretical computer science / Formal methods / Applied mathematics


Z310 : Applications, Enablers, Challenges and Directions Nikolaj Bjørner and Leonardo de Moura Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {nbjorner,leonardo}@microsoft.com
Add to Reading List

Document Date: 2009-07-21 19:10:53

Open Document

File Size: 163,71 KB

Share Result on Facebook

Company

Microsoft / Verified Software / /

/

IndustryTerm

object-oriented type systems / execution applications / multi-faceted software systems / bit-precise analysis tool / diverse applications / earliest such tools / several related tools / static program analysis tool / software bugs / search space / search behavior / bit-precise static analysis tool / media formats / uncovering software bugs / /

Person

Havoc / Leonardo de Moura / Nikolaj Bjørner / /

Position

driver / programmer / /

ProgrammingLanguage

R / C / Java / C++ / /

Technology

operating system / operating systems / Java / /

URL

http /

SocialTag