[C-safe-secure-studygroup] 20190109 teleconference notes

Roberto Bagnara bagnara at cs.unipr.it
Tue Jan 22 19:00:33 GMT 2019


On 1/22/19 7:44 PM, Wilson, Charles wrote:
> Roberto reported on MISRA meeting:
> 
>   * they will be upgrading from C99 to C11 in the next revision

Yes.  But another important thing is that the upgrade
will be published incrementally, in fascicles targeting
specific subsets of C11.  So people will be able to write
MISRA-C-compliant code using selected C11 features
without waiting for the next full revision of MISRA C.

-- 
      Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara at bugseng.com



More information about the C-safe-secure-studygroup mailing list