Static Deadlock Detection in Low-Level C Code.

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

Published in: EUROCAST (2022)

Keyphrases

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