Cited in
(only showing first 100 items - show all)- Back to the future, revisiting precise program verification using SMT solvers
- CUTE
- Saturn
- Symstra
- veriSoft
- CalFuzzer
- AGATHA
- BLAST
- SLAM
- KLEE
- PGAPack
- UniTESK
- ATGen
- Euclide
- GATeL
- Eclat
- Korat
- PathCrawler
- Pex
- QuickCheck
- TestEra
- STG
- TRACER
- Bandera
- jSpin
- Java PathFinder
- CESAR
- Lackwit
- GenRGenS
- CBMC
- jEdit
- ns-3
- BitBlaze
- CCured
- Orion
- Pinapa
- TVLA
- ArgoUML
- Nighthawk
- SPARK Pro
- NModel
- SpecExplorer
- Rex
- JPF-SE
- FloPSy
- JCrasher
- log4j
- GanttProject
- ASTREE
- YOGI
- KLOVER
- Snugglebug
- SystemVerilog
- FShell
- AUSTIN
- RALib
- CodeSonar
- Klockwork
- LCTD
- MSV
- Looper
- Limi
- Liss
- Z3-str
- Sigma*
- StrSolve
- DyTa
- WAPTEC
- Greenfoot
- Scratch
- KLOVERA
- CATG
- C32SAT
- Jalangi
- Pixy
- QAGen
- CIL
- jCUTE
- BINSEC/SE
- LCT
- ExpoSE
- QEMU
- SymJS
- KOOL
- DTA++
- WUSSTrace
- WPDS++
- STP
- Pyverilog
- Geno
- CoVEGI
- JaCoCo
- QSYM
- Software Model Checking: Searching for Computations in the Abstract or the Concrete
- Beginner's luck: a language for property-based generators
- An introduction to test specification in FQL
- LCTD: test-guided proofs for C programs on LLVM
- \texttt{vlogsl}: a strategy language for simulation-based verification of hardware
- Dual analysis for proving safety and finding bugs
- StarFinder
This page was built for software: DART
