Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-11-06T13:34:16Z
dc.date.available 2012-11-06T13:34:16Z
dc.date.issued 2012-10
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/23729
dc.description.abstract 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. en
dc.language en es
dc.subject Formal methods es
dc.subject probabilistic programs en
dc.subject computer verification en
dc.subject SOFTWARE ENGINEERING es
dc.subject refinement checking en
dc.subject trace generation en
dc.subject linear satisfiability checking en
dc.title An experimental tool for checking probabilistic program refinement en
dc.type Objeto de conferencia es
sedici.creator.person Gonzalía, Carlos José es
sedici.description.note Eje: Workshop Ingeniería de software (WIS) es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2012-10
sedici.relation.event XVIII Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (211.6Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)