Applying abstract acceleration to (co−)reachability analysis of reactive programs

Նմանատիպ նյութեր

• Extending Abstract Acceleration Methods to Data−Flow Programs with Numerical Inputs
  ‌: Schrammel, P, և այլն
  Հրապարակվել է: (2010)
• Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs
  ‌: Schrammel, P, և այլն
  Հրապարակվել է: (2011)
• Abstract Acceleration of General Linear Loops
  ‌: Jeannet, B, և այլն
  Հրապարակվել է: (2014)
• Abstract Acceleration in Linear Relation Analysis
  ‌: Gonnord, L, և այլն
  Հրապարակվել է: (2014)
• Sound numerical computations in abstract acceleration
  ‌: Cattaruzza, D, և այլն
  Հրապարակվել է: (2017)