En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…

El proceso de búsqueda de artículos científicos (papers) y artículos de revisión (reviews) es uno de los pilares del mundo científico, y es realizado por personas que están en la investigación así como también por personas que desean mantenerse actualizados…