Pages that link to "Item:Q2369884"
From MaRDI portal
The following pages link to Verification of SpecC using predicate abstraction (Q2369884):
Displaying 4 items.
- Verification of SpecC using predicate abstraction (Q2369884) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction (Q3510827) (← links)
- Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram (Q3628525) (← links)
