Alloy and an adventure with database concurrency
Author: Ville Tirronen  This post is a short case study of using the Alloy modelling language to supp...
Tags: development, modelling, verification, analysis