CACOVEAN, Laura Florentina; CRISTESCU, Marian Pompiliu; … - Facultatea de Cibernetica, Statistica şi Informatica … - 2009
The model checkers are tools which can be used to verify a given system satisfies a given temporal logic formula. The model is a directed graph where the nodes represent the states of the system and the edges represents the state transitions. The nodes and the edges can be labelled with atomic...