An Abstraction Technique for Verifying Shared-Memory Concurrency
Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability. To be able to reason about realistic programs, these techniques must be modular and compositional as well as practical by being sup...
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Artigo |
| Langue: | Inglês |
| Publié: |
MDPI AG
2020-06-01
|
| Collection: | Applied Sciences |
| Sujets: | |
| Accès en ligne: | https://www.mdpi.com/2076-3417/10/11/3928 |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|