An experimental tool for checking probabilistic program refinement

Gonzalía, Carlos José · SEDICI UNLP · 2012

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Gonzalía, Carlos José

Editorial

SEDICI UNLP

Año

2012

Idioma

Inglés

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

We discuss the features and current status of a software tool developed for checking refinement properties of a particular (though still quite general) class of probabilistic nondeterministic programs. The tool has been used successfully for several interesting examples, and its development is currently being expanded to encompass even more classes of probabilistic programs. The novelty of the tool lies in its expressing the refinement checking as a linear satisfiability problem, and also in producing evidence of lack of refinement by a problem of the same kind. Eje: Workshop Ingeniería de software (WIS) Red de Universidades con Carreras en Informática

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Gonzalía, C. J. (2012). An experimental tool for checking probabilistic program refinement. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23729

MLA

Gonzalía, Carlos José. An experimental tool for checking probabilistic program refinement. SEDICI UNLP, 2012. http://sedici.unlp.edu.ar/handle/10915/23729.

Chicago

Gonzalía, Carlos José. 2012. An experimental tool for checking probabilistic program refinement. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/23729.

Harvard

Gonzalía, C. J. 2012, An experimental tool for checking probabilistic program refinement, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/23729 [Accessed 6 Aug. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: An experimental tool for checking probabilistic program refinement

Autor / colaboradores: Gonzalía, Carlos José

Editorial: SEDICI UNLP

Año de publicación: 2012

Idioma: Inglés

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; Formal methods; SOFTWARE ENGINEERING; probabilistic programs; computer verification; refinement checking; trace generation; linear satisfiability checking