Search Links

Advanced Search
 

Links

Date: Updated   Submitted
Time Frame: All Time   Last 30 Days   Last 7 Days
Date Link Tags Clicks Descriptions Ratings
4 Jun 2013 Building Confidence in the Quality and Reliability of Critical Software

Techniques based on formal methods for verifying complex avionics systems.

Contributed by: Linda Webb
abstract in..., avionics so..., avionics sy..., code verifi..., critical so... 8 1
21 Dec 2012 Improving Software Quality with Static Code Analysis

Development teams improve code quality with static code analysis using Polyspace code verifiers.

Contributed by: Linda Webb
abstract in..., code certif..., code comple..., code metrics, code reviews 26 1

Contact us