Title: Analyzing tabular and state-transition requirements specifications in PVS
Subjects: Specifications, Errors, Computer programs, Cost reduction, Software development tools