First Page | Document Content | |
---|---|---|
Date: 2015-02-05 02:10:20Functional 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 ListSource URL: www.spark-2014.orgDownload Document from Source WebsiteFile Size: 605,24 KBShare Document on Facebook |