Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2 - Alt-Ergo - Document - PDFSEARCH.IO

First Page	Meta Content
	Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2 Add to Reading List Document Date: 2014-09-27 11:09:54 Open Document File Size: 95,87 KB Share Result on Facebook City Paris / / Country Poland / France / South Africa / / Currency pence / / Facility Why3’s gallery / / IndustryTerm combination algorithm / proof search / / Organization Programming Artificial Intelligence / / Position teller / / ProgrammingLanguage Ada / C / / PublishedMedium Electronic Notes in Theoretical Computer Science / Logical Methods in Computer Science / Lecture Notes in Computer Science / / Technology http / ATM / Xeon processor / Gif / matching algorithm / artificial intelligence / combination algorithm / / URL http / SocialTag Formal methods Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Automated theorem proving Solver Mathematical proof Theoretical computer science

Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2Add to Reading List