
<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">On Jan 24, 2017, at 8:49 AM, Jonathan Coe <<a href="mailto:jbcoe@me.com" class="">jbcoe@me.com</a>> wrote:<br class=""><div><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Strong yes here, and might be able to devote some resources to helping with the effort.</blockquote><div class="">Are you interested in High-integrity C++ in particular or safety-critical checks in general?</div></div></div></div></div></blockquote><br class=""></div><div>High-Integrity C++ in particular. (We'd want to customize the checks, of course, since our coding standard, while based on HIC++, has a few exceptions and differences from the "official" spec.)</div><div><br class=""></div><div>-- Ben</div><div><br class=""></div></body></html>