Re: [SystemSafety] Modelling and coding guidelines: software components

From: David MENTRE < >
Date: Thu, 17 Mar 2016 14:44:26 +0100


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,

The System Safety Mailing List
systemsafety_at_xxxxxx Received on Thu Mar 17 2016 - 14:44:34 CET

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:08 CEST