Context-bounded verification of thread pools.

Pascal Baumann Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

neural network
contextual information
model checking
computer vision
multiscale
context dependent
formal verification
social networks
image processing
website
digital libraries
mobile devices
social media
np complete
context aware
formal methods