swMATH3136MaRDI QIDQ15668FDOQ15668
Author name not available (Why is that?)
Official website: http://research.microsoft.com/en-us/projects/slam/
Cited In (only showing first 100 items - show all)
- EUFORIA: complete software model checking with uninterpreted functions
- Model Checking Software
- Static Analysis
- TopSpin
- Cogent
- FocusCheck
- ARMC
- ISP
- Dagger
- Bogor
- TSPASS
- bv2epr
- Zap
- ADL
- ESC/Java
- DART
- LTSmin
- Cseq
- CPAchecker
- Predator
- ComFoRT
- UFO
- Bandera
- ACL2s
- Java PathFinder
- KRATOS
- SymmExtractor
- CESAR
- Coreutils
- Sycraft
- Bebop
- Gauss
- SymmPa
- HECTOR
- SPEED
- CVC
- LLBMC
- ConTest
- CBMC
- PlusCal
- HighSpec
- InvGen
- dSPIN
- ESBMC
- FeaVer
- JPAX
- CCured
- HSF
- Verics
- YASM
- SLAB
- Orion
- SCOOT
- MOPS
- Checkstyle
- TVLA
- Threader
- Dixit
- TeMP
- TLPVS
- SIMGRID
- CSIsat
- ns-2
- SpecExplorer
- InVeSt
- JPF-SE
- Perracotta
- MoonWalker
- AspectC++
- SatAbs
- C-SHORe
- GTRECS2
- HOMER
- ASTREE
- CSSV
- YOGI
- Lazy-CSeq
- KLOVER
- MAGIC
- Wolverine
- CodeSurfer
- CONCUR 2004 - Concurrency Theory
- ICS
- Aglets
- LCLint
- Houdini
- Looper
- Datafun
- DKAL
- DDVerify
- VOLT
- Moped
- EUREKA
- BOXES
- PKind
- CertiKOS
- Merlin
- From under-approximations to over-approximations and back
- C-SHORe: a collapsible approach to higher-order verification
- Loop summarization using state and transition invariants
This page was built for software: SLAM
