Compositional Verification of Concurrent C Programs with Search Structure Templates.

Duc-Than Nguyen Lennart Beringer William Mansky Shengyi Wang

Published in: CPP (2024)

Keyphrases

search algorithm
search efficiency
search queries
search space
structural information
search methods
search strategies
xml documents
hierarchical structure
keyword search
graph structure
search tools
mutual exclusion