Pages that link to "Item:Q5703774"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703774):
Displaying 7 items.
- Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- Predicate abstraction of ANSI-C programs using SAT (Q1888196) (← links)
- Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction (Q3510827) (← links)
- Predicate abstraction for software verification (Q5178906) (← links)
- Correct Hardware Design and Verification Methods (Q5897055) (← links)
- Computer Aided Verification (Q5900674) (← links)