Groups > comp.programming.threads > #4301

I have presented to you the following specialist

Path	csiph.com!eternal-september.org!feeder.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From	Sky89 <Sky89@sky68.com>
Newsgroups	comp.programming.threads
Subject	I have presented to you the following specialist
Date	Sat, 19 May 2018 12:38:28 -0400
Organization	A noiseless patient Spider
Lines	30
Message-ID	<pdpju6$sd0$4@dont-email.me> (permalink)
Mime-Version	1.0
Content-Type	text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding	7bit
Injection-Date	Sat, 19 May 2018 16:38:30 -0000 (UTC)
Injection-Info	h2725194.stratoserver.net; posting-host="6f94b6e509dff52dedc1c2c93682a33f"; logging-data="29088"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19/7T7ZJU8weaaVW12Q95dz"
User-Agent	Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0
Cancel-Lock	sha1:c8NX7U+R+Jcku7EMQgx5Bi75Q6Y=
Content-Language	en-US
X-Mozilla-News-Host	news://news.eternal-september.org:119
Xref	csiph.com comp.programming.threads:4301

Show key headers only | View raw

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.

Back to comp.programming.threads | Previous | Next | Find similar | Unroll thread

Thread

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

csiph-web