hshinjisanの日記から http://d.hatena.ne.jp/hshinji/20071117 SKPPの正式版がリリースされてたみたい http://www.niap-ccevs.org/cc-scheme/pp/pp.cfm?id=PP_SKPP_HR_V1.03 SKPPのINTEGRITYは去年に少しメモってた Green Hills Software の INTEGRITY-178B…