Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Electronic design automation / NP-complete problems / Numerical software / Satisfiability Modulo Theories / Boolean satisfiability problem / Solver / Lis / Theoretical computer science / Applied mathematics / Mathematics


Satisfiability Modulo Software Michal Jan Moskal PhD Thesis Supervisor: Prof. Leszek Pacholski
Add to Reading List

Document Date: 2010-07-22 14:10:57

Open Document

File Size: 790,63 KB

Share Result on Facebook

City

Wroclaw / /

Facility

Prof. Leszek Pacholski Institute of Computer Science University / /

IndustryTerm

software verification specific problems / quantifier-rich software verification problems / software verification system / software system using formal methods / software applications / software systems / /

Organization

Leszek Pacholski Institute / Polish Ministry of Science and Education / Computer Science University of Wroclaw / /

Person

Leszek Pacholski Instytut Informatyki Uniwersytet / Thomas Santen / Nikolaj Bjørner / Michal Jan Moskal Praca / Stephan Tobies / Leszek Pacholski / Wolfram Schulte / Leonardo de Moura / Jan Moskal / Joe Kiniry / /

Position

advisor / PhD Thesis Supervisor / /

ProgrammingLanguage

C / /

SocialTag