Testing for Race Conditions in Distributed Systems via SMT Solving

Thumbnail Image
Files
P-00S-B2E.pdf (764.43 KB)
Date
2020
Authors
Machado,N
Pereira,JC
Jorge Sousa Pinto
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/11447
 http://dx.doi.org/10.1007/978-3-030-50995-8_7
Collections
HASLab - Indexed Articles in Conferences