00607nam a2200181   4500001001400000003000700014005001700021008004100038020001500079040000800094245010500102260004800207300003400255500005000289650003500339650003600374700001500410vtls000011568KUKTEM20251117142345.0060606t2004    xxu    gr    |0 1 0|eng |  a3540415238  aUMP00aSystems and software verification :b model-checking techniques and tools /c B. Berard ... [et al.]  aBerlin; New York:b Springer-Verlag,c 2001  axii, 190 p.:b ill.;c 24 cm.  aIncludes bibliographical references and index00aComputer systemsxVerification00aComputer softwarexVerification12aBerard, B.