Alloy Community

User login
  • warning: Parameter 1 to theme_field() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/theme.inc on line 170.
  • warning: Parameter 1 to theme_field() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/theme.inc on line 170.
  • warning: Parameter 1 to theme_field() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/theme.inc on line 170.
  • warning: Parameter 1 to theme_field() expected to be a reference, value given in /afs/csail.mit.edu/proj/alloy/www/data/community/includes/theme.inc on line 170.

Isomorph-free Model Enumeration: A New Method for Checking Relational Specifications

Home » Groups » MIT-SDG
alloy's picture


Attachment

Size
toplas98.pdf267.37 KB
by alloy

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte