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)