Weekly edition	Kernel	Security	Distributions	Contact Us	Search
Archives	Calendar	Subscribe	Write for LWN	LWN.net FAQ	Sponsors

RTLWS: Modeling systems with Alloy

Posted Nov 17, 2012 23:43 UTC (Sat) by twm (guest, #67436)
Parent article: RTLWS: Modeling systems with Alloy

I wholeheartedly recommend Daniel Jackson's "Software Abstractions: Logic, Language and Analysis" to anyone interested in the use of Alloy. It's by far the best textbook I encountered while at school.

(Log in to post comments)