[SystemSafety] Modelling and coding guidelines: software components

[David MENTRE]

Hello,

Le 17/03/2016 11:59, David Crocker a écrit :
> So far as I know, there are no other formal verification tools for subsets of C++. However, there are several other tools for C each with its own annotation scheme, including Microsoft's Vcc, the Jessie plug-in for Frama-C, and VeriFast.

Frama-C is (slowly) targeting C++.

Sincerely yours,
david