Efficient Analysis of Probabilistic Programs with an Unbounded Counter

• Autoři: BRÁZDIL Tomáš; KIEFER Stefan; KUČERA Antonín
• Rok publikování: 2011
• Druh: Článek ve sborníku
• Konference: Computer Aided Verification, 23rd International Conference, CAV 2011
• Fakulta / Pracoviště MU: Fakulta informatiky
• Doi: http://dx.doi.org/10.1007/978-3-642-22110-1
• Obor: Informatika
• Klíčová slova: one-counter machines; probabilistic systems; model-checking
• Popis: V článku je dokázáno, že kvantitativní analýzu nekonečně-stavových programů popsatelných automatem s jedním čítačem lze provádět algoritmicky a efektivně. Zejména je možné aproximovat střední čas ukončení těchto programů.

Související projekty

• Institut Teoretické Informatiky
• Formální metody pro analýzu a verifikaci komplexních systémů