Lightweight Verification of Array Indexing - University of Washington

T @MinLen(i) [] a. Evaluation. Three case studies: Google Guava (two packages); JFreeChart; plume-lib. Comparison to existing tools: FindBugs, KeY, Clousot.
展开查看详情