Implicit enumeration of strongly connected components and anapplication to formal verification.
Aiguo XiePeter A. BeerelPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2000)
Keyphrases
- formal verification
- implicit enumeration
- strongly connected components
- model checking
- shortest path
- dna computing
- connected components
- knapsack problem
- dynamic programming
- argumentation semantics
- max sat
- branch and bound
- closed contours
- variable ordering
- special case
- temporal logic
- noisy images
- np complete
- linear programming
- multi objective