An experimental tool for checking probabilistic program refinement

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 curre...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Gonzalía, Carlos José
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2012
Materias:
Ciencias Informáticas
Formal methods
SOFTWARE ENGINEERING
probabilistic programs
computer verification
refinement checking
trace generation
linear satisfiability checking
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23729
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23729
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Formal methods
SOFTWARE ENGINEERING
probabilistic programs
computer verification
refinement checking
trace generation
linear satisfiability checking
spellingShingle Ciencias Informáticas
Formal methods
SOFTWARE ENGINEERING
probabilistic programs
computer verification
refinement checking
trace generation
linear satisfiability checking
Gonzalía, Carlos José
An experimental tool for checking probabilistic program refinement
topic_facet Ciencias Informáticas
Formal methods
SOFTWARE ENGINEERING
probabilistic programs
computer verification
refinement checking
trace generation
linear satisfiability checking
description 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.
format Objeto de conferencia
Objeto de conferencia
author Gonzalía, Carlos José
author_facet Gonzalía, Carlos José
author_sort Gonzalía, Carlos José
title An experimental tool for checking probabilistic program refinement
title_short An experimental tool for checking probabilistic program refinement
title_full An experimental tool for checking probabilistic program refinement
title_fullStr An experimental tool for checking probabilistic program refinement
title_full_unstemmed An experimental tool for checking probabilistic program refinement
title_sort experimental tool for checking probabilistic program refinement
publishDate 2012
url http://sedici.unlp.edu.ar/handle/10915/23729
work_keys_str_mv AT gonzaliacarlosjose anexperimentaltoolforcheckingprobabilisticprogramrefinement
AT gonzaliacarlosjose experimentaltoolforcheckingprobabilisticprogramrefinement
bdutipo_str Repositorios
_version_ 1764820466133893124

Ejemplares similares