Cited in
(only showing first 100 items - show all)- Connecting program synthesis and reachability: automatic program repair using test-input generation
- Efficient strategies for CEGAR-based model checking
- Verify heaps via unified model checking
- scientific article; zbMATH DE number 2215634 (Why is no real title available?)
- Verifying Reference Counting Implementations
- Fixpoint-Guided Abstraction Refinements
- Integration of a Software Model Checker into Isabelle
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms
- Model-checking structured context-free languages
- EUFORIA: complete software model checking with uninterpreted functions
- LMS-Verify: abstraction without regret for verified systems programming
- Translating Xd-C programs to MSVL programs
- Counterexample guided path reduction for static program analysis
- Query-Driven Program Testing
- Mind the gap: bit-vector interpolation recast over linear integer arithmetic
- Challenges in Constraint-Based Analysis of Hybrid Systems
- Model checking dynamic memory allocation in operating systems
- Automation of broad sanity test generation
- Wombit: a portfolio bit-vector solver using word-level propagation
- Competent predicate abstraction in model checking
- TRACER: a symbolic execution tool for verification
- Towards Automatic Stability Analysis for Rely-Guarantee Proofs
- Model Checking Software
- Splitting via Interpolants
- Computer Aided Verification
- Tools and Algorithms for the Construction and Analysis of Systems
- Static Analysis
- Software model checking with explicit scheduler and symbolic threads
- Symbolic computation via program transformation
- A generic framework for heap and value analyses of object-oriented programming languages
- Whale: an interpolation-based algorithm for inter-procedural verification
- An automatic method for the dynamic construction of abstractions of states of a formal model
- From invariant checking to invariant inference using randomized search
- Formal verification of C systems code. Structured types, separation logic and theorem proving
- A practical linear time algorithm for trivial automata model checking of higher-order recursion schemes
- Cardinality Abstraction for Declarative Networking Applications
- Collaborative verification and testing with explicit assumptions
- Efficient interpolation for the theory of arrays
- Interpolant Generation for UTVPI
- Program analysis with local policy iteration
- Craig interpolation in the presence of non-linear constraints
- A model checking-based approach for security policy verification of mobile systems
- Compositional Predicate Abstraction from Game Semantics
- An extension of lazy abstraction with interpolation for programs with arrays
- Computer Aided Verification
- Experience of improving the BLAST static verification tool
- Automated formal analysis and verification: an overview
- Automatically verifying temporal properties of pointer programs with cyclic proof
- Temporal property verification as a program analysis task
- Verification: Theory and Practice
- Highly dependable concurrent programming using design for verification
- Model Checking Software
- Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction
- An invariant-based approach to the verification of asynchronous parameterized networks
- Infeasible paths elimination by symbolic execution techniques. Proof of correctness and preservation of paths
- Rule-based static analysis of network protocol implementations
- Backward symbolic execution with loop folding
- Predicate Abstraction of Programs with Non-linear Computation
- CUTE
- Elkhound
- MLAT
- MPI-CHECK
- APS-1
- Zing
- Saturn
- POOC
- Symstra
- veriSoft
- PiXL
- SyncGen
- BRNGLR
- TVOC
- SLAM
- NuSMV
- Daikon
- CEGAR
- ISP
- KLEE
- OptiML
- TASS_
- General Purpose Hash Function Library
- SCRATCH
- Bogor
- UniTESK
- Goanna
- ESC/Java
- DART
- PathCrawler
- Pex
- Rostra
- Cseq
- CPAchecker
- Predator
- SMTInterpol
- ComFoRT
- Ultimate Automizer
- visualSTATE
- UFO
- Bandera
- Java PathFinder
This page was built for software: BLAST
