Pinned Repositories
validAlloy
A tool for validating Alloy specifications using test-case generation
echo
A tool for model repair and transformation
tmguimaraes's Repositories
tmguimaraes doesn’t have any repository yet.
A tool for validating Alloy specifications using test-case generation
A tool for model repair and transformation
tmguimaraes doesn’t have any repository yet.