Changes between Version 2 and Version 3 of FraDeCoPP-2


Ignore:
Timestamp:
Nov 19, 2012, 6:58:20 PM (6 years ago)
Author:
julien.tesson@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • FraDeCoPP-2

    v2 v3  
    2020 
    2121 
    22 The FraDeCoP workshop aims to provide an informal and friendly setting to discuss recent or ongoing works on framework for the development of formally verified programs using programs transformation, programs refinement, or /a posteriori/ proof of correctness, or experience feedback in the use of such a framework. 
     22The FraDeCoP workshop aims to provide an informal and friendly setting to discuss recent or ongoing works on framework for the development of formally verified programs using programs transformation, programs refinement, or ''a posteriori'' proof of correctness, or experience feedback in the use of such a framework. 
    2323While we are interested in seeing such works applied to parallel programs, works on sequential programs will be considered with a great interest. 
    2424