Vergleich von Alloy/Kodkod und ProB

Es sollen verschiedene Probleme mit Alloy und B spezifiziert werden und dann mit Alloy und ProB analysiert werden. Die Effizienz der Werkzeuge Alloy und ProB soll verglichen werden, sowie die Kompaktheit der Spezifikationen.