SLAM
From MaRDI portal
SLAM Q15668
Cited in
(only showing first 100 items - show all)- Aligator
- CUTE
- MPI-CHECK
- MedleySolver
- TopSpin
- Zing
- Symstra
- FocusCheck
- Cogent
- Moby/DC
- jMoped
- veriSoft
- DiVer
- PiXL
- StEAM
- SyncGen
- ConSpec
- CalFuzzer
- SCTL-MUS
- ACSAR
- BLAST
- SPIN
- Toward compositional verification of interruptible OS kernels and device drivers
- A unifying view on SMT-based software verification
- ISP
- ARMC
- Dagger
- Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13--17, 2004. Proceedings.
- A local approach for temporal model checking of Java bytecode
- TSPASS
- Zap
- Bogor
- bv2epr
- LTSmin
- ESC/Java
- ADL
- DART
- Cseq
- Predator
- CPAchecker
- ComFoRT
- SymmExtractor
- Java PathFinder
- Bandera
- ACL2s
- KRATOS
- Verify heaps via unified model checking
- Generating models of infinite-state communication protocols using regular inference with abstraction
- Sycraft
- SymmPa
- CESAR
- Coreutils
- SPEED
- Gauss
- Bebop
- CVC
- Verics
- YASM
- LLBMC
- PlusCal
- UFO
- ConTest
- CBMC
- HighSpec
- InvGen
- SLAB
- TVLA
- dSPIN
- JPAX
- HSF
- Threader
- ESBMC
- FeaVer
- SCOOT
- Orion
- TeMP
- TLPVS
- CCured
- MOPS
- Efficient strategies for CEGAR-based model checking
- Predicate extension of symbolic memory graphs for the analysis of memory safety correctness
- Checkstyle
- Loop summarization using state and transition invariants
- Dixit
- SIMGRID
- Correctness kernels of abstract interpretations
- EUFORIA: complete software model checking with uninterpreted functions
- SpecExplorer
- CSIsat
- ns-2
- Modular strategies for recursive game graphs
- InVeSt
- JPF-SE
- Perracotta
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
- A divide-and-conquer approach for analysing overlaid data structures
- Counterexample-guided abstraction refinement for symmetric concurrent programs
- SatAbs
- MoonWalker
- Rule-based static analysis of network protocol implementations
This page was built for software: SLAM
