Back to Results
First PageMeta Content
Constraint programming / Electronic design automation / Logic in computer science / Satisfiability Modulo Theories / LLVM / Z3 / Invariant / Model checking / Theoretical computer science / Computing / Software engineering


FrankenBit: Bit-Precise Verification with Many Bits (Competition Contribution)? Arie Gurfinkel1 and Anton Belov2 1 Carnegie Mellon Software Engineering Institute
Add to Reading List

Document Date: 2014-01-27 10:25:19

Open Document

File Size: 183,67 KB

Share Result on Facebook

City

Dublin / /

Company

CNF / Z3 MISPER Boolector UNSAT AIGER MUSer2 BV / S. McPeak S. P. / /

Facility

Carnegie Mellon Software Engineering Institute / Software Engineering Institute / Carnegie Mellon University / University College Dublin Abstract / /

IndustryTerm

verification tools / counterexample search / Bit-precise software verification / /

OperatingSystem

Linux / /

Organization

Carnegie Mellon University / Software Engineering Institute / Carnegie Mellon Software Engineering Institute / Department of Defense / IEEE Computer Society / /

Person

Horspool / /

Position

R. N. / editor / MUS Extractor / second author / /

Product

Misper / /

ProgrammingLanguage

C / Python / C++ / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

Linux / /

SocialTag