Herramientas para la exploración y formalización de modelos de programas probabilísticos
El objetivo de nuestra investigación es la construcción de herramientas que permitan explorar las propiedades tanto formales como intuitivas de programas probabilísticos. Los programas que tenemos en mente son aquellos expresables en pGCL, una extensión del lenguaje imperativo de “comandos con guard...
Guardado en:
| Autor principal: | Gonzalía, Carlos José |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2014
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/41580 |
| Aporte de: |
Ejemplares similares
-
An experimental tool for checking probabilistic program refinement
por: Gonzalía, Carlos José
Publicado: (2012) -
TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
por: Miretti, Gabriel Leonardo
Publicado: (2011) -
TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real
por: Miretti, Gabriel Leonardo.
Publicado: (2011) -
Integrated program verification tools in education
por: De Caso, G., et al. -
Integrated program verification tools in education
por: de Caso, Guido, et al.
Publicado: (2013)