权威例句
Historical Overview, Current Status, and Future Trends in Human-Computer Interfaces for Process ControlProgrammable heuristics for theorem proversCity Research OnlinePVS: A Prototype Verification SystemPVS: A prototype verification systemFormal verification for fault-tolerant architectures: prolegomena to the design of PVSAn Overview of SALThe pvs proof checker: a reference manual (beta release)The PVS Specification LanguageThe Formal Semantics of PVS