Ade's Research

Project Papers Events

My project name has varied a bit over the course of the years. Right now it's ASSESS (Architectures for the Structured Specification of Embedded Systems Software). It is sponsored by NWO.

Here's more information and some history.

Latest paper: PDF File Verifying a Bus-Arbitration Protocol with PVS.

PVS Dump File Biphase Mark Protocol PVS files.

A blurb on Literate PVS

A tool for collecting statistics on PVS proofs

An overview of papers is available, too.

Eventually My thesis will be done.

Last changed Mon Nov 1 15:10:14 MET 2004