Checking and Reasoning about Semantic Web through Alloy.

Jin Song Dong, Jing Sun, Hai H. Wang

Browse the full FM paper archive.