INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

September 2011
M T W T F S S
« Aug   Oct »
 1234
567891011
12131415161718
19202122232425
2627282930  

 
  • INES at SBMF 2011 (CBSoft)

    (0)
    Publicado em September 1st, 2011Publications

    The papers “Extending CRefine to Support Tactics of Refinement” and “Joker: An Animation Framework for Formal Specifications” were accepted for publication as short papers for the Brazilian Symposium on Formal Methods 2011. The authors Marcel Oliveira, Diego Oliveira and Madiel Filho will attend the conference to present their papers.

  • INES researchers at SBMF 2009

    (0)
    Publicado em September 1st, 2011Uncategorized

    UFRN-affiliated INES researchers David Deharbe, Stephenson Galvão and Anamaria Martins Moreira have presented  their work titled Formalizing FreeRTOS: First Steps at the 12th Brazilian Symposium on Formal Methods (SBMF 2009). This paper is now available through this link.

  • 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.