Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs

Benzer Materyaller

• Extending Abstract Acceleration Methods to Data−Flow Programs with Numerical Inputs
  Yazar:: Schrammel, P, ve diğerleri
  Baskı/Yayın Bilgisi: (2010)
• Applying abstract acceleration to (co−)reachability analysis of reactive programs
  Yazar:: Schrammel, P, ve diğerleri
  Baskı/Yayın Bilgisi: (2012)
• Abstract Acceleration of General Linear Loops
  Yazar:: Jeannet, B, ve diğerleri
  Baskı/Yayın Bilgisi: (2014)
• Logico−Numerical Max−Strategy−Iteration
  Yazar:: Schrammel, P, ve diğerleri
  Baskı/Yayın Bilgisi: (2013)
• Speeding Up Logico−Numerical Strategy Iteration
  Yazar:: Monniaux, D, ve diğerleri
  Baskı/Yayın Bilgisi: (2014)