Book a Demo

Author Topic: 'Alloy' constraint modelling  (Read 3204 times)

mikewhit

  • EA User
  • **
  • Posts: 608
  • Karma: +0/-0
  • Accessing ....
    • View Profile
'Alloy' constraint modelling
« on: June 27, 2006, 06:03:03 am »
Saw this in Scientific American ... for those to whom this is interesting !
http://www.sciam.com/article.cfm?chanID=sa006&colID=1&articleID=00020D04-CFD8-146C-8D8D83414B7F0000

Alloy is a structural modelling language based on first-order logic, for expressing complex structural constraints and behaviour.

The Alloy Analyzer is a constraint solver that provides fully automatic simulation and checking.


http://alloy.mit.edu/index.php
« Last Edit: June 27, 2006, 06:06:59 am by mikewhit »