3 ms·
Have you seen http://www.margrave-tool.org/v3/ http://www.margrave-tool.org/v3/ which builds on Kodkod (which came after Alloy...)?
by BruceM 9y ago
Have you seen http://www.margrave-tool.org/v3/ http://www.margrave-tool.org/v3/ which builds on Kodkod (which came after Alloy...)?