Back to Results
First PageMeta Content
Functional languages / Constraint programming / Logic in computer science / Electronic design automation / Satisfiability Modulo Theories / OCaml / Automated theorem proving / Coq / Uclid / Theoretical computer science / Software / Formal methods


Alt-Ergo An SMT Solver for Software Verification Mohamed Iguernelala — OCamlPro SAS About ...
Add to Reading List

Document Date: 2015-02-05 02:10:20

Open Document

File Size: 605,24 KB

Share Result on Facebook

Company

Compaq / HP / /

NaturalFeature

Krakatoa / /

Organization

Stanford / /

Person

Claire Dross / Evelyne Contejean / Alain Mebsout / Mohamed Iguernelala / Johannes Kanig / Sylvain Conchon / Beaver / Denis Cousineau / Stanford Pascal Verifier / Mohamed Igernelala / Cody Roux / /

Position

OPAM package manager / Research associate in the VALS team / engineer / /

ProgrammingLanguage

Scilab / Java / /

RadioStation

Who am / /

Technology

Shostak algorithm / Java / /

SocialTag