Recent site activity

Site owners

  • Mark Lentczner

Recent site activity

Sep 4, 2012, 2:27 PM Mark Lentczner created Service Notice
Jun 7, 2012, 12:11 PM Mark Lentczner edited Belay Demo at IEEE Symposium on Security and Privacy
May 21, 2012, 3:22 PM Mark Lentczner attached Belay Demo at IEEE SP 2012.pdf to Belay Demo at IEEE Symposium on Security and Privacy
May 21, 2012, 3:22 PM Mark Lentczner created Belay Demo at IEEE Symposium on Security and Privacy
Mar 30, 2012, 4:50 PM Mark Lentczner created Demo Video
Mar 28, 2012, 9:22 AM Joe Gibbs Politz updated tutorial.zip
Mar 28, 2012, 9:21 AM Joe Gibbs Politz updated trace-and-test.als
Mar 28, 2012, 9:20 AM Joe Gibbs Politz deleted attachment trace-and-test.als from Understanding Belay with Alloy
Mar 28, 2012, 9:15 AM Joe Gibbs Politz edited Understanding Belay with Alloy
Mar 28, 2012, 9:15 AM Joe Gibbs Politz edited Modeling Client Communication in Belay
Mar 27, 2012, 5:46 PM Joe Gibbs Politz edited Modeling Client Communication in Belay
Mar 27, 2012, 5:44 PM Joe Gibbs Politz edited Modeling Client Communication in Belay
Mar 27, 2012, 4:30 PM Joe Gibbs Politz edited Understanding Belay with Alloy
Mar 27, 2012, 4:30 PM Joe Gibbs Politz attached Window1.png to Modeling Client Communication in Belay
Mar 27, 2012, 4:30 PM Joe Gibbs Politz updated Time.png
Mar 27, 2012, 4:30 PM Joe Gibbs Politz attached Launch2.png to Modeling Client Communication in Belay
Mar 27, 2012, 4:30 PM Joe Gibbs Politz attached Launch1.png to Modeling Client Communication in Belay
Mar 27, 2012, 4:30 PM Joe Gibbs Politz attached InstanceIdent3.png to Modeling Client Communication in Belay
Mar 27, 2012, 4:30 PM Joe Gibbs Politz attached InstanceIdent2.png to Modeling Client Communication in Belay
Mar 27, 2012, 4:30 PM Joe Gibbs Politz attached InstanceIdent1.png to Modeling Client Communication in Belay
Mar 27, 2012, 4:30 PM Joe Gibbs Politz attached Instance2.png to Modeling Client Communication in Belay
Mar 27, 2012, 4:30 PM Joe Gibbs Politz attached Instance1.png to Modeling Client Communication in Belay
Mar 27, 2012, 4:30 PM Joe Gibbs Politz updated Init.png
Mar 27, 2012, 4:30 PM Joe Gibbs Politz updated BeforeLaunch.png
Mar 27, 2012, 4:30 PM Joe Gibbs Politz updated BeforeInvoke.png

older | newer