Alt-Ergo - PDFSEARCH.IO - Document Search Engine

Alt-Ergo
Results: 9

#	Item
1	A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´ Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Mathematics Algebra Theoretical computer science Logic in computer science Satisfiability modulo theories Alt-Ergo Modular arithmetic Ring Rewriting Linear programming First-order logic Interval arithmetic
2	AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo Sylvain Conchon Mohamed Iguernlala Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Mathematical logic Logic Formal methods Alt-Ergo Electronic design automation Logic in computer science NP-complete problems Satisfiability modulo theories Axiom First-order logic Solver
3	WP 1.0 WP Plug-in Manual Version 1.0 for Frama-C Aluminium Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2016-06-01 04:33:34 Software Frama-C Formal methods Predicate transformer semantics Alt-Ergo Linux kernel
4	Leveraging SMT: Using SMT Solvers to Improve Verification; Using Verification to Improve SMT Solvers Clark Barrett Christopher L. Conway Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 16:21:50 Theoretical computer science Formal methods Logic in computer science Constraint programming Electronic design automation NP-complete problems Satisfiability modulo theories Solver SMT Uninterpreted function Model checking Alt-Ergo
5	The Why3 platform Version 0.82, December 2013 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2013-12-12 05:50:31 Proof assistants Formal methods Logic in computer science Alt-Ergo Frama-C Theoretical computer science Coq Formal verification KeY IP
6	Projet Hi-Lite Livrable 5.3 Rapport sur les améliorations apportées aux outils logiciels Why et Alt-Ergo Add to Reading List Source URL: www.open-do.org Language: French - Date: 2013-05-31 12:27:21
7	Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:09:54 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 Mathematics Applied mathematics
8	Alt-Ergo An SMT Solver for Software Verification Mohamed Iguernelala — OCamlPro SAS About ... Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:20 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
9	Why3 Modern automatic theorem prover Based on SMT technology Qualification DO-178 B/C (avionic) Used in industrial world Add to Reading List Source URL: alt-ergo.ocamlpro.com Language: English - Date: 2014-07-02 21:39:26 Ada programming language Formal methods Frama-C SPARK Logic in computer science Automated theorem proving AdaCore Ada Formal verification Computing Software engineering Computer programming