NASA Technical Reports Server (NTRS) 20060052940: A Software Safety Certification Plug-in for Automated Code Generators

21.9 MB·English

by  NASA Technical Reports Server (NTRS)

cn
\
c>
cn
I
a
!i
? 6
a I
E
m cn
6
3
r Z
c.6
ZT
m
a,
>
E
a
3
a,
c
L
0
S
c
CIZ
Iz
a,
rd
0
I
9
m%
m%
m
m
t
iiz
cn m m
Q
0
a,
>
L
cn
x
b
0
f
P
-
0
OUI lz Yo-
+ r .
0
+
3
m
E
L c/)
I I I I I
e e
c
n
U
.I
U
hh
u)
--
.-m-.I r.-"
-
L 0
uu -
12 e e
OLL
"
U
U U
I,
I I
II'
e
L -
0 -
I
L - c n
4- -4.4
.I
P) II
0
m m
I_
a n
1
L
c[I
S
0
.-wI
0
c
S'
.I
- \
.I
Ux
0
I
I
Bhl
.
I I

a-
m-
i
0
S U
c
rt,
0
W
.. .. .. .. .. .. ..
0NN NNr VCN,lNNmPNIr tNNaCmNI
AII
.-
I