INES – National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

January 2022
M T W T F S S
« Nov    
 12
3456789
10111213141516
17181920212223
24252627282930
31  

 
  • INES at ABZ 2012

    (0)
    Publicado em March 15th, 2012Expenses, News, Publications

    INES researchers Prof. David Deharbe and MSc student Haniel Barbosa have seen their submitted work selected for presentation and publication at ABZ 2012. The event will take place in Pisa, Italy, from June 18th to 21st, 2012 and will gather researchers interested in the formal methods ASM, Alloy, B, VDM and Z. ABZ 2012 will be organized jointly with iFM 2012 and is being held in honor of Prof. Egon Börger’s 65th birthday.

    Two papers were accepted. They are titled and authored respectively as follows:

    • SMT-Solvers for Rodin. D. Deharbe, P. Fontaine, Y. Guyot and L. Voisin.
    • Formal verication of PLC programs using the B Method. H. Barbosa and D. Deharbe.

Leave a Reply

You must be logged in to post a comment.