Barriers in Concurrent Separation Logic: Now With Tool Support!

We develop and prove sound a concurrent separation logic for Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is widely used for verification, there has not been any effort to combine the two. Unlike locks and critical sections, Pthreads barriers e...

Celý popis

Podrobná bibliografie

Hlavní autoři:	Aquinas Hobor, Cristian Gherghina
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	Logical Methods in Computer Science e.V. 2012-04-01
Edice:	Logical Methods in Computer Science
Témata:	computer science - logic in computer science d.1.3 , d.2.1 d.2.4, d.4.4, f.3.1, f.3.3, f.4.1, f.4.3
On-line přístup:	https://lmcs.episciences.org/800/pdf
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!