• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Verifying Programs by Bounded Tree-Width Behavior Graphs.

Omar InversoSalvatore La TorreGennaro ParlatoErmenegildo 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