swMATH2937MaRDI QIDQ15473FDOQ15473
Author name not available (Why is that?)
Official website: http://forge.ispras.ru/projects/blast/
Cited In (only showing first 100 items - show all)
- EUFORIA: complete software model checking with uninterpreted functions
- Translating Xd-C programs to MSVL programs
- Model Checking Software
- Computer Aided Verification
- Tools and Algorithms for the Construction and Analysis of Systems
- 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
- KRATOS
- CESAR
- Bebop
- Gauss
- APS
- Interproc
- GROOVE
- MathSAT
- LLBMC
- CBMC
- InvGen
- dSPIN
- SLAyer
- ESBMC
- FeaVer
- TravMC
- YASM
- SLAB
- Orion
- MOPS
- TVLA
- Threader
- TLPVS
- LTSA-WS
- SIMGRID
- CSIsat
- JPF-SE
- Perracotta
- JCrasher
- FOCI
- MoonWalker
- AspectC++
- SatAbs
- HOMER
- ASTREE
- YOGI
- Octagon
- Lazy-CSeq
- KLOVER
- Snugglebug
- FShell
- TRecS
- LusSy
- Wolverine
- RiTHM
- Aglets
- VS3
- Automatic analysis of DMA races using model checking and \(k\)-induction
- CPBPV: a constraint-programming framework for bounded program verification
- MLAT: a tool for heap analysis based on predicate abstraction by modal logic
- Incremental false path elimination for static software analysis
- From under-approximations to over-approximations and back
- TASS: the toolkit for accurate scientific software
This page was built for software: BLAST
