Predator
From MaRDI portal
Software:19428
No author found.
Related Items (15)
Combining Model Checking and Data-Flow Analysis ⋮ Deciding Entailments in Inductive Separation Logic with Tree Automata ⋮ LCTD: test-guided proofs for C programs on LLVM ⋮ Shape Neutral Analysis of Graph-based Data-structures ⋮ System-level state equality detection for the formal dynamic verification of legacy distributed applications ⋮ Unnamed Item ⋮ Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic ⋮ Semantic-directed clumping of disjunctive abstract states ⋮ Forest automata for verification of heap manipulation ⋮ Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic ⋮ An extension of lazy abstraction with interpolation for programs with arrays ⋮ The Tree Width of Separation Logic with Recursive Definitions ⋮ Model checking for symbolic-heap separation logic with inductive predicates ⋮ Learning Shape Analysis ⋮ Leveraging compiler intermediate representation for multi- and cross-language verification
This page was built for software: Predator
