Temporal logik modell kontroll innebär att kontrollera tillståndet utrymme för en modell av ett system för att avgöra om fel kan uppstå i systemet. Ofta handlar det om att kontrollera symmetriskt likvärdiga områden i statsrymden. Användningen av symmetri minskning för att öka effektiviteten i modellkontroll har inspirerat en mängd verksamhet inom området modellkontroll forskning. Vi gör en undersökning av den tillhörande litteraturen.
En undersökning av symmetri minskningar i temporal logik modell kontroll ges i REF.
Symmetry in temporal logic model checking
{'venue': 'CSUR', 'journal': None, 'mag_field_of_study': ['Computer Science']}