Show simple item record

dc.contributor.advisorD'Argenio, Pedro R.es
dc.contributor.advisorGiro, Sergioes
dc.contributor.authorFerrer Fioriti, Luis María.es
dc.date.accessioned2011-09-05T19:32:49Z
dc.date.available2011-09-05T19:32:49Z
dc.date.issued2010es
dc.identifier.citationIncluye referencias bibliográficas: p. 79-81.es
dc.identifier.urihttp://hdl.handle.net/11086/27
dc.descriptionTesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010.es
dc.description.abstractEl problema fundamental de los model checkers es la explosión exponencial del espacio de estados que se produce al agregar nuevas componentes o variables. El problema se exacerba en los model checkers probabilistas dado que no sólo requiere una búsqueda exhaustiva del espacio de estado, sino cálculos numéricos cuya cantidad de variables y (des)igualdades depende directamente de la cantidad de estados y transiciones. En este trabajo presentamos la implementación de la técnica de orden parcial en un model checker probabilista simbólico. La noción de orden parcial elegida para implementar en este trabajo es la más moderna. Ésta permite una mayor reducción ya que no tiene en cuenta ejecuciones probabilistas irreales consideradas en técnicas anteriores. La implementación se realizó sobre PRISM, que es un model checker probabilista moderno y potente, cuya distribución es de carácter libre.es
dc.description.statementofresponsibilityLuis María Ferrer Fioriti.es
dc.format.extent81p. :es
dc.language.isospaes
dc.relationDisponible en líneaes
dc.rightsAtribución-NoComercial-SinDerivadas 2.5 Argentina*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/2.5/ar/*
dc.subjectSoftware engineeringes
dc.subjectSoftware Program verificationes
dc.subjectModel checkinges
dc.subject.otherModel checking simbólicoes
dc.subject.otherSistemas distribuidoses
dc.subject.otherSistemas probabilistases
dc.subject.otherReducción de orden parciales
dc.titleReducción de orden parcial en model checking probabilista simbólicoes
dc.typebachelorThesises


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial-SinDerivadas 2.5 Argentina
Except where otherwise noted, this item's license is described as Atribución-NoComercial-SinDerivadas 2.5 Argentina

DSpace software copyright © 2002-2015  DuraSpace