An Automated Approach for Writing Alloy Specifications Using Instances

Authors:

Sarfraz Khurshid, Muhammad Zubair Malik, and Engin Uzuncaova

Publication Venue:

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

When Published:

Nov 15 2006

Attachment	Size
isola06.pdf	480.58 KB

by khurshid

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

Search