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)