Extending Abstract Acceleration Methods to Data−Flow Programs with Numerical Inputs

समान संसाधन

• Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs
  द्वारा: Schrammel, P, और अन्य
  प्रकाशित: (2011)
• Applying abstract acceleration to (co−)reachability analysis of reactive programs
  द्वारा: Schrammel, P, और अन्य
  प्रकाशित: (2012)
• Abstract Acceleration of General Linear Loops
  द्वारा: Jeannet, B, और अन्य
  प्रकाशित: (2014)
• Sound numerical computations in abstract acceleration
  द्वारा: Cattaruzza, D, और अन्य
  प्रकाशित: (2017)
• Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
  द्वारा: Cattaruzza, D, और अन्य
  प्रकाशित: (2015)