Daniel Jackson 0001

Latest

• αRby - An Embedding of Alloy in Ruby
• Preventing Arithmetic Overflows in Alloy
• A Structure for Dependability Arguments
• An Imperative Extension to Alloy
• Formal Modeling and Analysis of a Flash Filesystem in Alloy