Back to Results
First PageMeta Content
Mathematical logic / Mathematical structures / Model theory / Algebraic logic / Boolean algebra / Finitary relation / Structure / Relational algebra / Relation algebra / Mathematics / Algebra / Abstract algebra


µZ– An Efficient Engine for Fixed points with Constraints? Kryˇstof Hoder, Nikolaj Bjørner, and Leonardo de Moura Manchester University and Microsoft Research Abstract. The µZ tool is a scalable, efficient engine
Add to Reading List

Document Date: 2011-09-16 13:09:02

Open Document

File Size: 299,27 KB

Share Result on Facebook

City

Cloning / /

Company

Microsoft / /

Facility

Leonardo de Moura Manchester University / /

IndustryTerm

verification tools / fix-point search / software analysis / /

OperatingSystem

Microsoft Windows / /

Organization

pentagon / Manchester University / /

Person

Nikolaj Bjørner / Leonardo de Moura / /

Position

representative / planner / unified lattice model for static analysis / /

ProgrammingLanguage

R / Javascript / Datalog / /

Technology

Cloning / API / /

URL

http /

SocialTag