SatAbs

swMATH12804MaRDI QIDQ24728FDOQ24728

Author name not available (Why is that?)

Cited In (36)

• Loop summarization using state and transition invariants
• Efficient strategies for CEGAR-based model checking
• Symbolic Counter Abstraction for Concurrent Software
• Combining Model Checking and Data-Flow Analysis
• Model-Checking HyperLTL for Pushdown Systems
• Computer Aided Verification
• Splitting via Interpolants
• Software model checking with explicit scheduler and symbolic threads
• Model Checking of Concurrent Algorithms: From Java to C
• A model checking-based approach for security policy verification of mobile systems
• Automated formal analysis and verification: an overview
• Context-aware counter abstraction
• Verification and falsification of programs with loops using predicate abstraction
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Loop Summarization and Termination Analysis
• Interpolation and Model Checking
• Predicate Abstraction for Program Verification
• SAT-Based Model Checking
• Verification and refutation of probabilistic specifications via games
• Model checking boot code from AWS data centers
• Succinct representation of concurrent trace sets
• Abstraction Refinement of Linear Programs with Arrays
• Temporalization of Probabilistic Propositional Logic
• Automatic analysis of DMA races using model checking and \(k\)-induction
• Infeasible Paths Elimination by Symbolic Execution Techniques
• Verification of Boolean programs with unbounded thread creation
• CPBPV: a constraint-programming framework for bounded program verification
• Counterexample Guided Path Reduction for Static Program Analysis
• Leveraging compiler intermediate representation for multi- and cross-language verification
• Predicate Abstraction in Program Verification: Survey and Current Trends
• Abstraction and Abstraction Refinement
• Tools and Algorithms for the Construction and Analysis of Systems
• Incremental false path elimination for static software analysis
• Verification of SpecC using predicate abstraction
• A Lightweight Approach for Loop Summarization

This page was built for software: SatAbs