Vi introducerar en ny metod, kombination av slumpmässig testning och abstrakt tolkning, för analys av program med både probabilistisk och icke-probabilistisk icke-determinism. Efter att ha introducerat "vanliga" tester visar vi hur man kombinerar testning och abstrakt tolkning och ger formler som kopplar samman resultatens precision med antalet iterationer. Vi diskuterar sedan komplexitet och optimeringsfrågor och avslutar med några experimentella resultat.
I ett annat tillvägagångssätt används REF både slumpmässig testning och abstrakt tolkning för verifiering av C-program.
An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs
{'venue': 'POPL: Annual Symposium on Principles of Programming Languages (2001) 93 - 101', 'journal': None, 'mag_field_of_study': ['Computer Science']}