Owre

释义

[人名] 奥尔；

Historical Overview, Current Status, and Future Trends in Human-Computer Interfaces for Process Control
Programmable heuristics for theorem provers
City Research Online
PVS: A Prototype Verification System
PVS: A prototype verification system
Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
An Overview of SAL
The pvs proof checker: a reference manual (beta release)
The PVS Specification Language
The Formal Semantics of PVS