Verification of Communication Structured Acyclic Nets Using SAT.
Nadiyah AlmutairiMaciej KoutnyPublished in: PNSE@Petri Nets (2021)
Keyphrases
- model checking
- np complete
- information sharing
- sat solvers
- communication systems
- np hard
- structured data
- satisfiability problem
- formal verification
- sat problem
- real world
- communication overhead
- stochastic local search algorithms
- cp nets
- communication protocol
- formal methods
- communication cost
- search strategies
- logic programs
- relational databases