Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs

Abdulla, Parosh, Professor, 1961- (författare)

Uppsala universitet,Datorteknik,Avdelningen för datorteknik

Atig, Mohamed Faouzi, Professor, 1981- (författare)

Uppsala universitet,Datorteknik,Avdelningen för datorteknik

Meyer Bonneland, Frederik (författare)

visa fler...

Das, Sarbojit (författare)

Uppsala universitet,Datorteknik,Avdelningen för datorteknik

Jonsson, Bengt, 1957- (författare)

Uppsala universitet,Datorteknik,Avdelningen för datorteknik

Lång, Magnus, 1991- (författare)

Uppsala universitet,Datorteknik,Avdelningen för datorteknik

Sagonas, Konstantinos (författare)

Uppsala universitet,Datalogi

visa färre...

 (creator_code:org_t)

2023

2023

Engelska.

Ingår i: Automated Technology for Verification and Analysis, 21st International Symposium, ATVA 2023, Singapore, Oct. 2023. Proceedings..

Relaterad länk:

https://urn.kb.se/re...

• Konferensbidrag (refereegranskat)