See also formal methods, safety-critical system. . Mailing list: depend-sw@sei.cmu.edu. [Summary?]

In addition suitable contents:
[ = ] [ @ ] [ af ] [ ai ] [ al ] [ am ] [ ar ] [ arc ] [ b ] [ ca ] [ ch ] [ cm ] [ cr ] [ de ] [ du ] [ ed ] [ edu ] [ ee ] [ er ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ formal methods ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ is ] [ it ] [ Lex ] [ li ] [ list ] [ ls ] [ M ] [ ma ] [ method ] [ mm ] [ mo ] [ mod ] [ module ] [ mu ] [ na ] [ ng ] [ pe ] [ ph ] [ query ] [ rc ] [ re ] [ S ] [ sa ] [ safe ] [ safety ] [ safety-critical system ] [ se ] [ so ] [ st ] [ sy ] [ system ] [ th ] [ tp ] [ um ]