Domain-Specific Abstract Interpretations : Experience Reports Seminars/Workshops
|Time:||2009-01-21 ~ 29|
|Place:||Room 309-1, Bldg 302, SNU|
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.
[ List ]