Diagnosticar el código Java

Alguna vez usted podría haber utilizado la lógica temporal, un formalismo usado para describir el cambio de estado de un programa a lo largo del tiempo. Este artículo discute las afirmaciones, presenta la lógica temporal, y describe una herramienta capaz de tratar la afirmación de lógica temporal en sus programas.