Probabilistic Abstract Interpretation
Authors:
- 1 January 2012
- book chapter
- Published by Springer Nature
- p. 169-193
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Automated Verification Techniques for Probabilistic Systems2011
- Automatic Reduction of Stochastic Rules-Based Models in a NutshellAIP Conference Proceedings, 2010
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract InterpretationElectronic Notes in Theoretical Computer Science, 2009
- Least Upper Bounds for Probability Measures and Their Applications to Abstractions2008
- Comparing the Galois connection and widening/narrowing approaches to abstract interpretation2005
- Reduction and Refinement Strategies for Probabilistic Analysis2002
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretationTheoretical Computer Science, 2002
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Systematic design of program analysis frameworks1979
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977