Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.programming.threads > #4301 > unrolled thread

I have presented to you the following specialist

Back to article view | Back to comp.programming.threads

Contents

  I have presented to you the following specialist Sky89 <Sky89@sky68.com> - 2018-05-19 12:38 -0400

#4301 — I have presented to you the following specialist

Hello...


I have presented to you the following specialist:

You can carefully read him here:

https://critical.eschertech.com/2010/07/07/run-time-checks-are-they-worth-it/


Here is there solution for C++:

Escher C++ Verifier

Escher C Verifier enables the development of formally-verifiable 
software in a subset of C (based on MISRA-C 2012). It performs static 
analysis on the code, checks conformance with many of the MISRA rules, 
and verifies mathematically that the software is free from run-time 
errors and "undefined behaviour" for all inputs.

Optionally, Escher C Verifier can also verify that the software meets 
functional specifications.


http://www.eschertech.com/products/index.php



Thank you,
Amine Moulay Ramdane.

[toc] | [standalone]

Back to top | Article view | comp.programming.threads

csiph-web