Feb 15 '10
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.
Dec 7 '09
in Electronic Design
William Wong looks at the Dasher project being developed by Mälardalen University in Sweden.
Sep 23 '09
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.