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...
Gardado en:
| Principais autores: | , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado: |
MDPI AG
2020-06-01
|
| Series: | Applied Sciences |
| Assuntos: | |
| Acceso en liña: | https://www.mdpi.com/2076-3417/10/11/3928 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|