A Guide to Alloy
Home
Introduction
Tutorial
Getting Started
Statics I
Statics II
Dynamics I
Dynamics II
Alternatives to Alloy
Test Yourself!
Glossary
FAQs
Final Thoughts
Question 1 of 10
Alloy allows verifying a model's correctness by...
...automatically checking all instances within a certain scope
...automatically constructing a proof using the SAT-solver (or finding a counterexample)
...checking whether there are any counterexamples and concluding that the model is valid if there aren't any
Your score: out of 10
Quit