Predator
From MaRDI portal
Cited in
(44)- MPI-CHECK
- Cseq
- Gauss
- SMCHR
- YASM
- LLBMC
- SLAyer
- Threader
- FixBag
- SIMGRID
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
- Forest automata for verification of heap manipulation
- MoonWalker
- Lazy-CSeq
- THOR
- Model checking for symbolic-heap separation logic with inductive predicates
- LCTD
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic
- Unified reasoning about robustness properties of symbolic-heap separation logic
- Cyclist
- coreStar
- Combining model checking and data-flow analysis
- Infer
- EUREKA
- BoogiePL
- MemCAD
- LCTD: test-guided proofs for C programs on LLVM
- Deciding entailments in inductive separation logic with tree automata
- SimGridMC
- FrankenBit
- Jakstab
- CPAlien
- MU-CSeq
- Slide
- LCT
- Shape neutral analysis of graph-based data-structures
- An extension of lazy abstraction with interpolation for programs with arrays
- The tree width of separation logic with recursive definitions
- Decidability for entailments of symbolic heaps with arrays
- Learning shape analysis
- Semantic-directed clumping of disjunctive abstract states
- Locust
- SeLoger
- Leveraging compiler intermediate representation for multi- and cross-language verification
This page was built for software: Predator
