Verifying multi-threaded software with impact
Lazy abstraction with interpolants, also known as the Impact algorithm, is en vogue as a state-of-the-art software model-checking technique for sequential programs. However, a direct extension of the Impact algorithm to concurrent programs is bound to be inefficient as it has to explore all thread i...
Автори: | Wachter, B, Kroening, D, Ouaknine, J |
---|---|
Формат: | Conference item |
Опубліковано: |
IEEE
2013
|
Схожі ресурси
Схожі ресурси
-
Verifying Multi−threaded Software with Impact
за авторством: Wachter, B, та інші
Опубліковано: (2013) -
Verified software: theories, tools and experiments.
за авторством: Kroening, D, та інші
Опубліковано: (2010) -
Lost in abstraction: monotonicity in multi-threaded programs
за авторством: Kaiser, A, та інші
Опубліковано: (2016) -
Lost in abstraction: monotonicity in multi-threaded programs
за авторством: Kaiser, A, та інші
Опубліковано: (2014) -
The ideal of verified software
за авторством: Hoare, T
Опубліковано: (2006)