"LSV",
"image" => array("../../news/lsv.jpg", "LSV"),
"Address" => 'LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France',
"plus" => array("../../info-acces",
"Access information"),
"vcard" => "../../news/lsv.vcf"
));
//ADDBOX(array("title" => "Quick Links", "content" => ''));
STYLELSV();
MKPAGE();
?>
Analysing Probabilistic Programs: Pushing the Limits of Automation
Talk by Joost-Pieter Katoen
(RWTH Aachen University)
Slides
Abstract
We present recent progress in the automated analysis of programs in which
assignments can be random, possibly parameterized. We show how constraint
solving can be used to synthesize loop invariants, and provide two formally
related semantic views on such programs.