Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer...  Home/Search
Context
Related
| mit.edu/pubs/2006/...dForAlloyUsers.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: mit.edu/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The generality of Alloy's relational logic and the full automation of its analysis have prompted several attempts to use Alloy as a backend engine for other tools. However, these e#orts have been hampered by the Alloy Analyzer's lack of 1) a clean API, 2) support for partial instances, and 3) a mechanism for sharing subformulas and subexpressions. Designed expressly as a plugin component, the Kodkod relational engine overcomes these limitations. Unlike the Analyzer, Kodkod provides a simple... (Update)
Active bibliography (related documents): More All
0.3: Separating Concerns in - Requirements Analysis An (2006) (Correct)
0.3: Modular Verification of Code with SAT - Greg Dennis Felix (2006) (Correct)
0.3: Satisfiability-based Framework for Enabling Side-channel - Attacks On Cryptographic (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ and-kodkod,
author = "Emina Torlak And",
title = "Kodkod for Alloy Users",
url = "citeseer.ist.psu.edu/761477.html" }
Citations (may not include all citations):210 Cooperating sequential processes (context) - Dijkstra - 1968
11 Checking properties of heap-manipulating procedures with a c.. (context) - Vaziri, Jackson - 2003
9 A tough nut for proof procedures (context) - McCarthy - 1964
7 ective symmetry breaking predicates for search problems (context) - Shlyakhter - 2001
7 Exploiting subformula sharing in automatic analysis of quant.. - Shlyakhter, Sridharan et al. - 2003
3 Software Abstractions: logic (context) - Jackson - 2006
3 An extensible SAT-solver (context) - Een, Sorensson - 2004
1 Modular verification of code (context) - Dennis, Chang et al. - 2006
1 Declarative configuration applied to course scheduling (context) - Yeung - 2006
1 Mondex with the Alloy model-finding method (context) - Ramananandro - 2006
1 Course scheduler (context) - Yeung - 2006
Documents on the same site (http://sdg.csail.mit.edu/publications.html): More
Submitted to the Department of Electrical Engineering and.. - In Partial Ful (Correct)
Declarative Configuration Applied to Course - Scheduling Submitted To (2006) (Correct)
Problem Frame Transformations: - Deriving Specifications From (2006) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC