INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

August 2011
M T W T F S S
« Jul   Sep »
1234567
891011121314
15161718192021
22232425262728
293031  

 
  • INES at CADE-22

    (0)
    Publicado em August 8th, 2011Publications

    UFRN affiliated INES researcher David Déharbe, together with LORIA colleagues Thomas Bouton, Diego Caminha B. de Oliveira and Pascal Fontaine have their paper veriT: an open, trustable and efficient SMT-solver accepted for publication at the 22nd International Conference on Automated Deduction, a.k.a CADE-22.

    DOI: 10.1007/978-3-642-02959-2_12

  • veriT version 201107 released

    (0)
    Publicado em August 8th, 2011Publications

    veriT logo

    veriT is a SMT (Satisfiability Modulo Theories) solver. It is open-source, proof-producing, and complete for quantifier-free formulas with uninterpreted functions and difference logic on real numbers and integers.

    The input format is the SMT-LIB language (both versions 1.2 and 2.0) and DIMACS, but veriT can also be used as a standalone library and incorporated in third-party software. The tool is open-source and distributed under the BSD license.

    It is available at http://www.verit-solver.org. Users and developers are welcome!

    UFRN affiliated INES researcher David Déharbe is one of the main developers of veriT.

  • INES present at first PxTP workshop

    (0)
    Publicado em August 8th, 2011Publications

    UFRN researcher David Déharbe, together with colleagues Pascal Fontaine (LORIA, France) and Bruno Wolzenlogel Paleo (TU-Wien, Austria), will present their work, titled “Quantifier Inference Rules for SMT proofs” at PxTP-2011, the First Workshop on Proof eXchange for Theorem Proving, located in Wrocław, Poland.

    , , ,
  • INES at CADE-23

    (0)
    Publicado em August 8th, 2011Publications

    UFRN researcher David Déharbe is one of the authors of the paper “Exploiting symmetry in SMT problems”, together with Pascal Fontaine, Stephan Merz and Bruno Wolzenlogel Paleo. The paper has been accepted for publication at “CADE – the 23rd International Conference on Automated Deduction” which will take place in Wroklaw, Poland.

    The DOI of the publication is: 10.1007/978-3-642-22438-6_18.

    , ,