Note: This is old; PVS Wiki, contains more recent projects.
After first announcing PVS in 1992, we started keeping a list of applications and PhDs involving PVS. As PVS became more widely used, updating these lists became too difficult, so they are no longer maintained. However, they may still be useful, so they are included here.
This page is now mostly of historic interest. Many of these links are known to be broken, but left here in case they provide clues on how to track them down.
Note that material is provided here to present scholarly and technical work. Copyright and all rights therein are retained by the authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.