Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…
Fecha:
2012-09-11
Recurso:
Unversidad Nacional de La Plata
CIC - Centro de Información y Conocimiento Johannes Gutenberg ®