INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

November 2017
M T W T F S S
« Nov    
 12345
6789101112
13141516171819
20212223242526
27282930  

 
  • INES at PAAR’2010

    (0)
    Publicado em September 1st, 2011Uncategorized

    UFRN affiliated INES researcher David Déharbe, together with LORIA colleagues Thomas Bouton, Diego Caminha B. de Oliveira and Pascal Fontaine have their paper GridTPT: a distributed platform for Theorem Prover Testing accepted for publication at the 2010 edition of the Worshop on Practical Aspects of Automated Reasoning, a.k.a PAAR-2010. The event will be part of the Federated Logic Conference 2010 (FLoC).

    The paper presents a grid-based infrastructure used in the automated testing of the SMT-solver veriT with a data base of thousands of benchmarks.

Leave a Reply

You must be logged in to post a comment.