„gradual verification“

Suchergebnisse

2 Treffer

• Gradual Program Analysis for Null Pointers
  Estep, Sam ; Wise, Jenna ; Aldrich, Jonathan ; Tanter, Éric ; Bader, Johannes ; Sunshine, Joshua 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of abrupt and gradual shifts in Iranian precipitation and temperature data with statistical methods and stations metadata
  Bazrafshan, Javad ; Cheraghalizadeh, Majid