meeson@IDA.ORG (Reginald Meeson) (07/26/89)
A short while back there was a note about an Ada static analysis tool called MALPAS (?) offered by a British company -- Rex Thompson & Partners (?). Has anyone tried out this product or looked seriously at it? I'd appreciate any feedback anybody can offer. Reg Meeson meeson@ida.org Institute for Defense Analyses Alexandria, VA (703) 845-3541