Title: Formal methods for verification and validation of partial specifications
Subjects: Computer programs, Fault detection, Program verification (Computers), Safety, Software development tools, Specifications