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

Date:

Apr 1 2003

author:

Christie Bolton

Oxford University Computing Laboratory

How Alloy might be used to automatically compare state-based
and event-based systems, and in particular to reason about
and compare models expressed in Z and CSP.

Attachment	Size
simulationDiscussion.ps	178.07 KB
simulationDiscussionCode.als	9.8 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

Search

Navigation

User login

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