BLAST
From MaRDI portal
BLAST Q15473
Cited in
(only showing first 100 items - show all)- Integration of verification methods for program systems
- CUTE
- Elkhound
- MLAT
- MPI-CHECK
- TOrPEDO
- Zing
- APS-1
- Symstra
- Saturn
- POOC
- veriSoft
- PiXL
- SyncGen
- TVOC
- BRNGLR
- SLAM
- Symbolic computation via program transformation
- A compiler for MSVL and its applications
- NuSMV
- Daikon
- CEGAR
- A unifying view on SMT-based software verification
- TASS_
- KLEE
- ISP
- OptiML
- Experience of improving the BLAST static verification tool
- General Purpose Hash Function Library
- Efficient interpolation for the theory of arrays
- SCRATCH
- UniTESK
- Bogor
- Goanna
- ESC/Java
- PathCrawler
- DART
- Pex
- Rostra
- Cseq
- Predator
- SMTInterpol
- Ultimate Automizer
- CPAchecker
- TASS: the toolkit for accurate scientific software
- visualSTATE
- Dual analysis for proving safety and finding bugs
- ComFoRT
- Java PathFinder
- Bandera
- KRATOS
- Verify heaps via unified model checking
- High-order curvilinear finite elements for axisymmetric Lagrangian hydrodynamics
- CESAR
- TOrPEDO : witnessing model correctness with topological proofs
- Gauss
- Bebop
- APS
- Interproc
- TravMC
- MathSAT
- YASM
- Backward symbolic execution with loop folding
- LLBMC
- GROOVE
- UFO
- SLAyer
- CBMC
- InvGen
- SLAB
- TVLA
- dSPIN
- Threader
- ESBMC
- FeaVer
- Orion
- TLPVS
- MOPS
- Efficient strategies for CEGAR-based model checking
- Predicate extension of symbolic memory graphs for the analysis of memory safety correctness
- SIMGRID
- LTSA-WS
- Theory and practice of unparsed patterns for metacompilation
- EUFORIA: complete software model checking with uninterpreted functions
- Translating Xd-C programs to MSVL programs
- Wombit: a portfolio bit-vector solver using word-level propagation
- CSIsat
- JPF-SE
- Perracotta
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
- Temporal property verification as a program analysis task
- An automatic method for the dynamic construction of abstractions of states of a formal model
- JCrasher
- SatAbs
- MoonWalker
- FOCI
- Rule-based static analysis of network protocol implementations
- AspectC++
- YOGI
- A compositional behavioral modeling framework for embedded system design and conformance checking
This page was built for software: BLAST
