Title: FALTER--a fault annotation tool
Subjects: Computer programming, Verification, Parallel programs (Computer programs)