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

Ejemplares similares

Ejemplares similares