PSI: Exact symbolic inference for probabilistic programs

Thumbnail
Metadata only
Author
Gehr, Timon
Misailovic, Sasa
Vechev, Martin
Date
2016
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Chaudhuri, Swarat
Farzan, Azadeh
Book title
Computer Aided Verification
Journal / series
Lecture Notes in Computer Science
Volume
9779
Pages / Article No.
62 - 83
Publisher
Springer
Event
28th International Conference on Computer Aided Verification (CAV 2016), Toronto, ON, Canada, July 17–23, 2016
Organisational unit
03948 - Vechev, Martin / Vechev, Martin  
More
Show all metadata
ETH Bibliography
yes
Altmetrics