jlw@ariel.UUCP (J.WOOD) (06/02/84)
Barbara Ryder, formerly (I think) of Bell Labs, had a system called the PFORT verifier which she worked on in the mid-70s. Try your source for the BTL Computing Science Technical Reports for a reference. I have none available. Joseph L. Wood, III AT&T Information Systems Laboratories, Holmdel (201) 834-3759 ariel!jlw