TrustInSoft in the Top 10 Finalists of the “Most Innovative Company” contest
icon/arrow Back to news TrustInSoft recognized for Eradicating Software Security Flaws PRESS RELEASE: TRUSTINSOFT SELECTED AS FINALIST FOR RSA® CONFERENCE INNOVATION SANDBOX CONTEST 2015 PDF Version BEDFORD, MA – MARCH 24, 2015 – TrustInSoft today has been named one of 10 finalists for RSA® Conference Innovation Sandbox Contest 2015, which is celebrating its […]
When in doubt, express intent, and leave the rest to the compiler
Back to news Expressing intent in your C language code Expressing intent, illustrated on an example I sometimes get asked what stylistic choices a C developer could make that would help their code work well with static analysis or formal verification. I usually do not have a good answer—the reader of this blog or […]
