Sign in
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs.
Pavel Parízek
Filip Kliber
Published in:
ACM SIGSOFT Softw. Eng. Notes (2023)
Keyphrases
</>
efficient incremental
highly scalable
pairwise
lightweight
incremental learning
single pass
highly efficient
computationally efficient
verification method
memory efficient
computationally expensive
data sets
expert systems
data structure
knowledge base
learning algorithm
neural network