scholarly journals On Automated Verification of Probabilistic Programs

2008 ◽  
pp. 173-187 ◽  
Author(s):  
Axel Legay ◽  
Andrzej S. Murawski ◽  
Joël Ouaknine ◽  
James Worrell
Keyword(s):  
Automated Verification ◽  
Probabilistic Programs

scholarly journals A modular cost analysis for probabilistic programs

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Martin Avanzini ◽  
Georg Moser ◽  
Michael Schaper
Keyword(s):  
Cost Analysis ◽  
Probabilistic Programs

Incremental inference for probabilistic programs

2018 ◽  
Vol 53 (4) ◽  
pp. 571-585 ◽  
Author(s):  
Marco Cusumano-Towner ◽  
Benjamin Bichsel ◽  
Timon Gehr ◽  
Martin Vechev ◽  
Vikash K. Mansinghka
Keyword(s):  
Probabilistic Programs

scholarly journals Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010)

2014 ◽  
Vol 81 ◽  
pp. 1-2
Author(s):  
Jens Bendisposto ◽  
Michael Leuschel ◽  
Markus Roggenbach
Keyword(s):  
Automated Verification ◽  
Critical Systems

scholarly journals Symbolic conditioning of arrays in probabilistic programs

2017 ◽  
Vol 1 (ICFP) ◽  
pp. 1-25 ◽  
Author(s):  
Praveen Narayanan ◽  
Chung-chieh Shan
Keyword(s):  
Probabilistic Programs
Sign in / Sign up

Export Citation Format

Share Document