Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
October 1995
Abstract
VERSA is a tool for the automated analysis of resource-bound real-time systems using the Algebra of Communicating Shared Resources (ACSR). This document serves as an introduction to the tool for beginning users, and as a reference for process and command syntax, examples of usage, and tables of operators, built-in functions and algebraic laws. Two detailed examples demonstrate the application of VERSA to cononical examples from the literature.
This version of the VERSA user's guide reflects the 95.09.10 version of the tool.
Recommended Citation
Duncan Clarke, "VERSA: Verification, Execution and Rewrite System for ASCR", . October 1995.
Date Posted: 27 June 2007
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-95-34.