Changes between Version 1 and Version 2 of FraDeCoPP2012


Ignore:
Timestamp:
Apr 7, 2012, 7:29:36 AM (6 years ago)
Author:
julien.tesson@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • FraDeCoPP2012

    v1 v2  
    2727includes but are not limited to: 
    2828 
    29  - Framework for: 
    30 * programs  transformation 
    31 * programs refinement 
    32 * "Hoare logic" style proofs of  programs  
    33 * programs analysis 
     29* Formal framework for: 
     30 * programs transformation  
     31 * programs refinement 
     32 * "Hoare logic" style proofs of  programs  
     33 * programs analysis 
    3434 
    35 - Experience feedback on the development of "formally proved correct" programs 
     35* Experience feedback on the development of "formally proved correct" programs 
    3636 
    3737