| University of Ulm, Faculty of Computer Science, Dept. of Artificial Intelligence | up: Research |
Fast Links: |
|---|
PVS is a specification and verification system developed at SRI International, California. See the PVS homepage at SRI for general information about PVS.
At our department, PVS is used extensively in several application areas, including hardware verification, semantics of programming languages, compiler verification, program transformation, and fault-tolerance. Most of our papers describing PVS-based work and several of the related specification files are available online.
| Dept. of AI Homepage | Research | Help | Mail to Webmaster | H. Pfeifer - last update: Oct. 16, 1998 |