Static Deadlock Detection in Low-Level C Code.

Dominik Harmim Vladimír Marcin Lucie Svobodova Tomás Vojnar

Published in: CoRR (2022)

Keyphrases

deadlock detection
low level
distributed database systems
distributed systems
high level
communication protocol
manufacturing systems
computer networks
distributed databases
inter organizational workflow
management system