Next: Background

Probabilistic Abstract Interpretation

C.Hankin, A.Di Pierro and H.Wiklicky

 
• Background
  • Abstract Interpretation
  • Open Problem: Error Quantification
  • Probabilistic Semantics
• Programme and Methodology
  • Overall Aims and Objectives
  • Methodology
  • Workplan
• Relevance to Beneficiaries
• References

Next: Background