Linear Completeness Thresholds for Bounded Model Checking.
Bounded model checking is a symbolic bug-finding method that examines paths of bounded length for violations of a given LTL formula. Its rapid adoption in industry owes much to advances in SAT technology over the past 10-15 years. More recently, there have been increasing efforts to apply SAT-based...
Váldodahkkit: | Kroening, D, Ouaknine, J, Strichman, O, Wahl, T, Worrell, J |
---|---|
Eará dahkkit: | Gopalakrishnan, G |
Materiálatiipa: | Journal article |
Giella: | English |
Almmustuhtton: |
Springer
2011
|
Geahča maid
-
Completeness and Complexity of Bounded Model Checking
Dahkki: Clarke, E, et al.
Almmustuhtton: (2004) -
On the Magnitude of Completeness Thresholds in Bounded Model Checking
Dahkki: Bundala, D, et al.
Almmustuhtton: (2012) -
Computational challenges in bounded model checking.
Dahkki: Clarke, E, et al.
Almmustuhtton: (2005) -
Computational challenges in bounded model checking
Dahkki: Clarke, E, et al.
Almmustuhtton: (2005) -
Computational Challenges in Bounded Model Checking
Dahkki: Clarke, E, et al.
Almmustuhtton: (2015)