Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Can we efficiently check … - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Can we efficiently check concurrent programs under relaxed memory models in Maude?

Artikel i vetenskaplig tidskrift
Författare Yehia Abd Alrahman
Marina Andric
Alessandro Beggiato
Alberto Lluch Lafuente
Publicerad i Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volym 8663
Sidor 21-41
ISSN 03029743
Publiceringsår 2014
Publicerad vid Institutionen för data- och informationsteknik, datavetenskap (GU)
Sidor 21-41
Språk en
Länkar https://doi.org/10.1007/978-3-319-1...
Ämneskategorier Teoretisk datalogi

Sammanfattning

© Springer International Publishing Switzerland 2014. Relaxed memory models offer suitable abstractions of the actual optimizations offered by multi-core architectures and by compilers of concurrent programming languages. Using such abstractions for verification purposes is challenging in part due to their inherent non-determinism which contributes to the state space explosion. Several techniques have been proposed to mitigate those problems so to make verification under relaxed memory models feasible. We discuss how to adopt some of those techniques in a Maude-based approach to language prototyping, and suggest the use of other techniques that have been shown successful for similar verification purposes.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?