Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs
Hlavní autoři: | Schrammel, P, Jeannet, B |
---|---|
Médium: | Conference item |
Vydáno: |
Springer
2011
|
Podobné jednotky
-
Extending Abstract Acceleration Methods to Data−Flow Programs with Numerical Inputs
Autor: Schrammel, P, a další
Vydáno: (2010) -
Applying abstract acceleration to (co−)reachability analysis of reactive programs
Autor: Schrammel, P, a další
Vydáno: (2012) -
Abstract Acceleration of General Linear Loops
Autor: Jeannet, B, a další
Vydáno: (2014) -
Logico−Numerical Max−Strategy−Iteration
Autor: Schrammel, P, a další
Vydáno: (2013) -
Speeding Up Logico−Numerical Strategy Iteration
Autor: Monniaux, D, a další
Vydáno: (2014)