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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: Wachter, B, Kroening, D, Ouaknine, J
Formáid: Conference item
Foilsithe / Cruthaithe: IEEE 2013
Search Result 1

Verifying Multi−threaded Software with Impact de réir Wachter, B, Kroening, D, Ouakine, J

Foilsithe / Cruthaithe 2013
Conference item