Ebeid ElSayed’s Reviews > Software Abstractions: Logic, Language, and Analysis > Status Update

This book introducing a lightweight approach for formal methods using Alloy [http://alloy.mit.edu/alloy/].
Its written by Prof. Daniel Jackson, Computer Science Department, MIT