Title: An introduction to requirements capture using PVS
Subjects: Specifications, Software development tools, Program verification (Computers), Software reliability, Computer programming, User requirements, Computer programs, Equations of state