Application of topics - Alloy/TLA+ [Lecture Topic Task]

[AlfredoSoto1]

Description

Verificar lo que ya está en la documentación y añadir/mejorar lo que se propone en este issue. Al finalizar marcar como done este task y el issue de referencia [issue #111]

• Alloy/TLA+

The team uses Alloy or TLA+ to specify some relevant aspects related
to their domain and/or their requirements and then states properties
that they check with the model checker.  For example, in the library
specification we can state the property that there are books of
which some copies are owned by one library and some copies are owned
by another library. The model checker can them be used on this
property.

• [ ] Done ✅

[AlfredoSoto1]

El en issue #111 aparece la rubrica para que se dejen llevar

[AlfredoSoto1]

Recuerden, todo lo viejo que se modifique tiene que estar diferenciado a lo nuevo que se añada. Esto puede ser con distintos highliters en el documento.

[AlfredoSoto1]

Aquí les dejo la rúbrica de referencia para que comparen si lo que añadieron/modificaron es cumple con lo que el profesor reclama.

[JuanQ1226]

Updates on this?

[JuanQ1226]

Remember this is for 8pm today.