APISubsystemsDescription

Two subsystems developed for MOBIUS are exclusively used via APIs at this time. These subsystems focus on two critical activities in program verification: interacting with automated provers and making assertions and logging data about a system as it executes.

Version: 1 Time: Fri Mar 28 15:59:10 2008 Author: dcochran (dcochran) IP: 193.1.132.32