✦ LIBER ✦

Modular verification of multithreaded programs

✍ Scribed by Cormac Flanagan; Stephen N. Freund; Shaz Qadeer; Sanjit A. Seshia

Book ID: 108281028
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 330 KB
Volume: 338
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2004.12.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Simple Sequential Reasoning Approach f

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs

✍ Bart Jacobs; Jan Smans; Frank Piessens; Wolfram Schulte 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 388 KB

Modular specification and verification o

Modular specification and verification of object-oriented programs

✍ Leavens, G.T. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 938 KB

Multithreaded testing of program interfa

Multithreaded testing of program interfaces

✍ V. S. Mutilin 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 146 KB

Modular Verification of SRT Division

✍ Harald Ruess; Natarajan Shankar; Mandayam K. Srivas 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 244 KB

Generation of modular programs

✍ B. N. Orlov; A. S. Ponomarev 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 382 KB

An instrumentation technique for online

An instrumentation technique for online analysis of multithreaded programs

✍ Grigore Roşu; Koushik Sen 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 218 KB

## Abstract This paper presents an automatic code instrumentation technique, based on __multithreaded vector clocks__, for extracting the causal partial order on relevant state update events from a running multithreaded program. This technique is used in a formal testing environment, not only to de