Pages that link to "Item:Q1888196"
From MaRDI portal
The following pages link to Predicate abstraction of ANSI-C programs using SAT (Q1888196):
Displayed 6 items.
- Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
- Verification of SpecC using predicate abstraction (Q2369884) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction (Q3510827) (← links)
- Loop Summarization Using Abstract Transformers (Q3540068) (← links)