41![Logo EDEKA Merz Auerbach und Heppenheim 50x50 Logo EDEKA Merz Auerbach und Heppenheim 50x50](https://www.pdfsearch.io/img/3b7a76522127fcbdfb466a6c0f898790.jpg) | Add to Reading ListSource URL: www.hessischer-demokratietag.deLanguage: German - Date: 2015-10-07 08:38:21
|
---|
42![Challenges in Comparing Software Analysis Tools for C? Florian Merz, Carsten Sinz, and Stephan Falke Institute for Theoretical Computer Science Karlsruhe Institute of Technology (KIT), Germany {florian.merz, carsten.sinz Challenges in Comparing Software Analysis Tools for C? Florian Merz, Carsten Sinz, and Stephan Falke Institute for Theoretical Computer Science Karlsruhe Institute of Technology (KIT), Germany {florian.merz, carsten.sinz](https://www.pdfsearch.io/img/5c74c52158069d056b786eddc7b5d82e.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2012-07-04 10:49:53
|
---|
43![Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni](https://www.pdfsearch.io/img/2bd12b9fcac1555b553a959ddeecd2b8.jpg) | Add to Reading ListSource URL: www.montefiore.ulg.ac.beLanguage: English - Date: 2006-01-07 06:25:43
|
---|
44![Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt](https://www.pdfsearch.io/img/71b9b5e4044c7fe1e634ccccdbf06949.jpg) | Add to Reading ListSource URL: www.montefiore.ulg.ac.beLanguage: English - Date: 2011-07-11 06:39:50
|
---|
45![Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni](https://www.pdfsearch.io/img/3fa99ab8216acad94930546b8bdcaac7.jpg) | Add to Reading ListSource URL: www.montefiore.ulg.ac.beLanguage: English - Date: 2006-01-07 06:25:43
|
---|
46![Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un](https://www.pdfsearch.io/img/91a94e8f7d42d69a6a35b1587779e064.jpg) | Add to Reading ListSource URL: www.montefiore.ulg.ac.beLanguage: English - Date: 2010-07-30 09:23:43
|
---|
47![Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un](https://www.pdfsearch.io/img/2c28205be18a557127ab418c1ba2342a.jpg) | Add to Reading ListSource URL: www.montefiore.ulg.ac.beLanguage: English - Date: 2010-07-30 09:23:43
|
---|
48![Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt](https://www.pdfsearch.io/img/ca1a3f5dca972d99df680d57fe754d31.jpg) | Add to Reading ListSource URL: www.montefiore.ulg.ac.beLanguage: English - Date: 2011-07-11 06:39:50
|
---|
49![Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un](https://www.pdfsearch.io/img/51b118ab26b1dfefa94a0a1cbf18f06e.jpg) | Add to Reading ListSource URL: www.verit-solver.orgLanguage: English - Date: 2015-06-10 09:33:21
|
---|
50![Towards certification of TLA+ proof obligations with SMT solvers Stephan Merz and Hern´an Vanzetto∗ INRIA Nancy Grand-Est & LORIA Nancy, France Abstract Towards certification of TLA+ proof obligations with SMT solvers Stephan Merz and Hern´an Vanzetto∗ INRIA Nancy Grand-Est & LORIA Nancy, France Abstract](https://www.pdfsearch.io/img/8a44b043b52cb12c40703d0f0eb465dc.jpg) | Add to Reading ListSource URL: pxtp2011.loria.frLanguage: English - Date: 2011-08-12 05:51:25
|
---|