Abstract

Verification technology and the A1 criteria Page 1 a) N L - ..1 > . w al •.PI a) ro A H cO a) .0 OO a) UH u N w L w .G 4) a ca 'd •d ..1 3 .0 o aa) a HH )-i • .I ai 4 N 4 > W a .4 W 04)) ro 4-1 '-1 a)vuaa a • .0 a) •0 El a) oa a 0014 cO J 3 co ro4 1-1 W ugu u b O p . w mal p ,C u . N 4) 'd HNL a - O W at • .• I • 11 N a1 O o O> a) N 00 4) 03 ro Ol H q q HW 0T14 '0 a' 01 10 q w Ol + 0 0 O 0 ca a) • .+ .0 a) al R1 O ma m W .0 I+ f3 .0 4-1 CO L u V-1 a) .0 00 q 3 a) w O 0-1 >, a ro H HU p al .0 q am NO -) NOP • a) a) 4-1 m H u O d' ca P. -+ ON a u u m q C H a1 '-1 a) 41 a N 4) u H a) cO AO +~ a b H ro 0-1 > HO) O IT P a! ar 00.1 a ro p -1 •~ a) O a 1 .1 OH •-4 F 4) uto a -1 .. w 'ewo u• 1 u 0 a' l C -0 6) t ou p A 4) 7 4) 6 a 0 . 0 W of O ..1 u Q .0 ro at a H H > 6) U al 6 NW u a • .I as .0 ro ON a! u a) •.1 a . u O) > d H q a W 0) u .0 11 • •~ b OH w ro ro u ro> al 0) a) Ts to ,d a) uu ~• u +~ N wa) 0) m a) 4 H ' a O • .1 N Ulu '•1 ua) a0 a ) > . .1 N 01 td H b0 U -o …

Date

1985

Authors

Terry C Vickers Benzel

Journal

ACM SIGSOFT Software Engineering Notes

Volume

10

Issue

4

Pages

108-109

Publisher

ACM