Modeling garbage collectors with Alloy: part 1Formal methods for software verification are usually seen as a high-cost tool that you would only use on the most critical systems, and only after extensive informal verification. The Alloy project aims to be something completely different: a lightweight tool you can use at any stage of everyday software development. With just a few lines of code, you can build a simple model to explore design iss
抽象によるソフトウェア設計 ―Alloyではじめる形式手法 | オーム社eStore(β)
