Using Alloy to Automatically Verify the Soundness of the Simulation Rules for Reasoning about State-Based and Event-Based Models

Search

Authors:

Christie Bolton

Publication Venue:

Oxford University Computing Laboratory, April 2003

When Published:

Apr 1 2003

Attachment	Size
simulationDiscussion.ps	178.07 KB

by anonymous

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte