Article
Feb 15 '10
Published
in Embedded.com by Jack Ganssle
Jack Ganssle at Embedded.com discusses the Sofcheck and AdaCore CodePeer tool in Executing software contracts; in particular he examines the tool’s ability to create contracts for subprograms.
Article
Dec 7 '09
Published
in Electronic Design by William Wong
William Wong looks at the Dasher project being developed by Mälardalen University in Sweden.
Article
Sep 23 '09
Published
in Electronics Talk
LDRA has released a security-critical development and certification solution to ensure the company’s tool suite meets the growing demand for security-critical software.