Verifying Programs by Bounded Tree-Width Behavior Graphs.

Omar Inverso Salvatore La Torre Gennaro Parlato Ermenegildo Tomasco

Published in: EUMAS (2023)

Keyphrases

bounded tree width
tree width
markov networks
structural properties
first order logic
expressive power
special case
shortest path
objective function
pairwise
np hard
np complete