| 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... | 0 | 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 | 16 | 1 |