Pages that link to "Item:Q5703792"

The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703792):

Displaying 21 items.

• A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
• Context-aware counter abstraction (Q600978) (← links)
• Automatic analysis of DMA races using model checking and \(k\)-induction (Q763238) (← links)
• Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
• CPBPV: a constraint-programming framework for bounded program verification (Q968353) (← links)
• Efficient strategies for CEGAR-based model checking (Q2209549) (← links)
• Loop summarization using state and transition invariants (Q2248058) (← links)
• Verification of SpecC using predicate abstraction (Q2369884) (← links)
• Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
• Infeasible Paths Elimination by Symbolic Execution Techniques (Q2829242) (← links)
• Automated formal analysis and verification: an overview (Q2871577) (← links)
• Splitting via Interpolants (Q2891411) (← links)
• Loop Summarization and Termination Analysis (Q3000639) (← links)
• SAT-Based Model Checking (Q3176368) (← links)
• Abstraction and Abstraction Refinement (Q3176371) (← links)
• Interpolation and Model Checking (Q3176372) (← links)
• Predicate Abstraction for Program Verification (Q3176373) (← links)
• Temporalization of Probabilistic Propositional Logic (Q3605519) (← links)
• Counterexample Guided Path Reduction for Static Program Analysis (Q5187836) (← links)
• Predicate Abstraction in Program Verification: Survey and Current Trends (Q5240105) (← links)
• Model-Checking HyperLTL for Pushdown Systems (Q5883578) (← links)