SatAbs
From MaRDI portal
Software:24728
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