Abstrakt. Vi granskar Wilhelms arbete med WCET för hårda realtidsapplikationer och även det senaste arbetet med analys av mjuka realtidssystem med probabilistiska metoder. Vi presenterar sedan Probabilistic Abstract Interpretation (PAI) som en kvantitativ variation av den klassiska metoden; PAI syftar till att ge nära approximationer - detta bör kontrasteras till de säkra approximationer som studeras i standardinställningen. Vi diskuterar relationen mellan PAI och klassisk abstrakt tolkning samt genomsnittlig fallanalys.
Pierro m.fl. vidare utforskar med hjälp av probabilistisk abstrakt tolkning för att beräkna den genomsnittliga fallanalysen REF.
Abstract interpretation for worst and average case analysis
{'venue': 'IN: PROGRAM ANALYSIS AND COMPILATION, THEORY AND PRACTICE. VOLUME 4444 OF LNCS', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}