Model Verification System

The RTVS (Real Time Verification System), developed by Judy Henderson and Jennifer Mahoney in support of FSL's model verification efforts, provides the following: Currently this runs under X-windows. Java would allow this functionality to be device- and location-independent.

Last modified: Tue Aug 5 17:40:06 DST 1997