OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Subject: Software/Program Verification

Sort by Score Title Year -

11-20 from 24 results (0.064 seconds)

Title: Evaluación de compatibilidad y complejidad para el reuso de servicios
Author: Flores, Andrés P. / Cechich, Alejandra / Garriga, Martín / Moyano, Marcelo / De Renzis, Alan / Anabalon, Diego / Corgatelli, Franco
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ingeniería de software basada en reuso / Web-based services / software orientado a servicios / Verification / calidad de software / Validation

Acceder
Title: Verificación de propiedades temporales de diseños community: un caso de estudio
Author: Aguirre, Nazareno Matías / Regis, Germán
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Temporal logic / Design languages / Verification

Acceder
Title: Practical verification strategy for refinement conditions in UML models
Author: Pons, Claudia / García, Diego
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / UML models / Verification / Language models

Acceder
Title: Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
Author: De Vito, María Cecilia / Osella Massa, Germán Leandro
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Distributed Systems / Model checking / Simulation / Verification

Acceder
Title: Verification of Structured Processes: A Method Based on an Unsoundness Profile
Author: Roa, Jorge / Chiotti, Omar Juan Alfredo / Villarreal, Pablo David
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / business process / soundness / correctness properties / Verification

AccederDescargar
Title: Model checking RAISE applicative specifications
Author: Perna, Juan I. / George, Chris W.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Model checking / Formal methods / Verification

Acceder
Title: Detección de vulnerabilidades en especificaciones de contratos inteligentes de la plataforma Ethereum
Author: Argañaraz, Mauro C. / Berón, Mario / Rangel Henriques, Pedro / Riesco, Daniel Eduardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / blockchain / Ethereum / smart contract / Solidity / Vyper / static analysis tool / Verification / security patterns

Acceder
Title: Contribuciones a la verificación funcional moderna
Author: Goñi, Oscar Enrique
Language: Español
Repository: 37
Subject: Ciencias Informáticas / punto flotante / Verification / Computer arithmetic / análisis de resolución / HIL / Simulation / HDL

Acceder
Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Author: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security

Acceder
Title: Hacia la composición paralela de programas en DynAlloy
Author: Aguirre, Nazareno Matías / Novaira, Maria Marta / Permigiani, Sonia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Lenguajes de Programación / Formal methods / lenguaje de especificaciones / Verification / validación de propiedades / operador para composición paralela / Validation

Acceder

« Previous 1 2 3 Next »