Domain-Specific Abstract Interpretations : Experience Reports Seminars/Workshops
Speaker: | Jerome Feret |
---|---|
Time: | 2009-01-21 ~ 29 |
Place: | Room 309-1, Bldg 302, SNU |
Abstract
I will present two major works of domain-specific abstract
interpretation technologies: one on static analysis of systems biology,
and the other on static analysis of an avionic control software.
By "domain-specific" we mean a fully automatic static analysis systems
that are proven correct yet generate almost no false positives.
Part 1: Reachability analysis of protein-protein interaction networks[VMCAI08].
[talk slide / paper]
Part 2: Automatic reduction of ODE semantics for protein-protein interaction networks [PNAS 2009, submitted]
[talk slide / paper]
Part 4: Two examples of numerical domains [ESOP 2004,VMCAI 2005]
[talk slide
/paper]
Part 5: Reduced product in ASTREE. [ASIAN 2006]
[talk slide
/paper]
Resources
[ List ]