SatAbs
From MaRDI portal
Cited in
(only showing first 100 items - show all)- CPBPV
- TopSpin
- Zing
- FocusCheck
- Cogent
- DiVer
- StEAM
- ACSAR
- BLAST
- SLAM
- CEGAR
- ARMC
- SCRATCH
- Princess
- Goanna
- bv2epr
- Cseq
- Predator
- CPAchecker
- SymmSpin
- ComFoRT
- ACL2s
- Augur 2
- Model checking boot code from AWS data centers
- SPEED
- Cellss
- Bebop
- UFO
- CBMC
- SLAB
- TVLA
- Threader
- RacerX
- CVT
- SCOOT
- Orion
- TLPVS
- MOPS
- Efficient strategies for CEGAR-based model checking
- Loop summarization using state and transition invariants
- Verification of SpecC using predicate abstraction
- Verification of Boolean programs with unbounded thread creation
- MoonWalker
- Goldilocks
- FOCI
- CSSV
- Joogie
- Lazy-CSeq
- MAGIC
- Wolverine
- LusSy
- Succinct representation of concurrent trace sets
- Infeasible paths elimination by symbolic execution techniques. Proof of correctness and preservation of paths
- Automated formal analysis and verification: an overview
- Splitting via Interpolants
- Software model checking with explicit scheduler and symbolic threads
- Verification and refutation of probabilistic specifications via games
- Loop Summarization and Termination Analysis
- Aglets
- VS3
- Model checking of concurrent algorithms: from Java to C
- A Lightweight Approach for Loop Summarization
- SAT-Based Model Checking
- Abstraction and abstraction refinement
- Interpolation and model checking
- Predicate abstraction for program verification
- Combining model checking and data-flow analysis
- DDVerify
- Coverity
- EUREKA
- Ultimate Kojak
- Temporalization of Probabilistic Propositional Logic
- Symbolic Counter Abstraction for Concurrent Software
- Incremental false path elimination for static software analysis
- ANaConDA
- FrankenBit
- Jakstab
- CPAlien
- Symbiotic 2
- MU-CSeq
- Klocwork
- Kotlin
- A model checking-based approach for security policy verification of mobile systems
- Calysto
- GraVy
- Pyston
- Cascade
- CIVL
- Counterexample guided path reduction for static program analysis
- Predicate Abstraction in Program Verification: Survey and Current Trends
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Abstraction Refinement of Linear Programs with Arrays
- Model-Checking HyperLTL for Pushdown Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Context-aware counter abstraction
- Automatic analysis of DMA races using model checking and k-induction
- Leveraging compiler intermediate representation for multi- and cross-language verification
- Verification and falsification of programs with loops using predicate abstraction
This page was built for software: SatAbs
