Examples

The Book Seller example is contained at the following link BookSeller The results are obtained by performing the commands

• java -jar COVER.jar GoalModel.goal Design.lts D1_PROC resultsD1.goal
• java -jar COVER.jar GoalModel.goal Design.lts D2_PROC resultsD2.goal
• java -jar COVER.jar GoalModel.goal Design.lts D3_PROC resultsD3.goal