Java PathFinder
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Integration of verification methods for program systems
- CUTE
- jETI
- MPI-CHECK
- Synchrobench
- SEQ.OPEN
- Zing
- Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol
- Symstra
- Wolf
- Cogent
- POOC
- COMBINE
- IMP++
- veriSoft
- DiVer
- StEAM
- SyncGen
- SCOOP
- BLAST
- LOTOS
- SLAM
- RAISE
- SPIN
- Symbolic computation via program transformation
- NuSMV
- On partial state matching
- KLEE
- ISP
- General Purpose Hash Function Library
- A local approach for temporal model checking of Java bytecode
- Understanding parameters of deductive verification: an empirical investigation of KeY
- AnZenMail
- Model checking JAVA programs using JAVA PathFinder
- Syntax-directed model checking of sequential programs
- UniTESK
- An overview of the runtime verification tool Java PathExplorer
- Predicate abstraction of ANSI-C programs using SAT
- Efficient verification of sequential and concurrent C programs
- Bogor
- Goanna
- TorX
- PathCrawler
- TestEra
- Korat
- DART
- JUnit
- Pex
- Rostra
- STG
- QuickCheck
- visualSTATE
- SymmSpin
- ComFoRT
- PROMELA
- MAVEN
- Bandera
- TACO
- Efficient bounded model checking of heap-manipulating programs using tight field bounds
- Machine learning steered symbolic execution framework for complex software code
- CESAR
- Gauss
- Eraser
- Atomizer
- Velodrome
- Bebop
- YASM
- ConTest
- jEdit
- CBMC
- HIP
- evt
- TVLA
- SingleTrack
- DPPD
- dSPIN
- JPAX
- FeaVer
- Orion
- TLPVS
- CCured
- BitBlaze
- MOPS
- SIMGRID
- ArgoUML
- LTL2BA
- NModel
- SpecExplorer
- JPF-SE
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
- Abstract interpretation of microcontroller code: intervals meet congruences
- Verification of Boolean programs with unbounded thread creation
- log4j
- JCrasher
- SatAbs
- MoonWalker
- DPF
- GanttProject
- GDB
- YOGI
This page was built for software: Java PathFinder
