News Help Institutional access
Back to results
Bibliographic record · Consultation and access
Document

An experimental tool for checking probabilistic program refinement

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

Open-access full text
Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.
Author / responsible party
Gonzalía, Carlos José
Publisher
SEDICI UNLP
Year
2012
Language
English

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH
Entrar por SEDICI UNLP
Main access

Open-access full text

Texto completo identificado como acceso abierto.
Open text

Summary

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

How to cite

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 8 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title
An experimental tool for checking probabilistic program refinement
Author / contributors
Gonzalía, Carlos José
Publisher
SEDICI UNLP
Publication year
2012
Language
English

Subjects

Explore related resources through these subjects.

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