Title: Analyzing Tabular and State-Transition Requirements Specifications in Pvs