Work

Reachability analysis of multithreaded software with asynchronous\n communication

Year: 2005

Type: report

Source: Fachbereich Informatik (University of Stuttgart)

Authors: Bouajjani, Ahmed, Esparza, Javier, Schwoon, Stefan, Strejcek, Jan

Institutions: Laboratoire d'Informatique Algorithmique: Fondements et Applications, University of Stuttgart

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1911833263

Cites: 8

Cited by: 60

Related to: 10