|
|
|
SearchNavigationUser login |
Trace specifications in AlloyPublication Venue: Course notes When Published: Nov 26 2008 This paper shows how to model traces of systems, in a style inspired by Hoare's CSP.
|
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