swMATH7217MaRDI QIDQ19268FDOQ19268
Author name not available (Why is that?)
Official website: http://kindsoftware.com/products/opensource/ESCJava2/
Cited In (only showing first 100 items - show all)
- The Daikon system for dynamic detection of likely invariants
- Faster and more complete extended static checking for the Java modeling language
- Computer Aided Verification
- On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving
- HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic
- On deciding satisfiability by theorem proving with speculative inferences
- Static contract checking with abstract interpretation
- HOL-Boogie
- KeY-C
- Inferring sufficient conditions with backward polyhedral under-approximations
- Cogent
- jContractor
- Symstra
- rCOS
- LARCH
- SafeGen
- SyncGen
- SCOOP
- BLAST
- KRAKATOA
- SLAM
- SPARK
- Eiffel
- Daikon
- GeoSteiner
- distcc
- Caduceus
- JML
- Omnibus
- Spec#
- IsaWin
- UCLID
- SIMPLIFY
- Bogor
- UniTESK
- Zap
- ESC4
- DART
- Eclat
- Korat
- JUnit
- Pex
- VCC
- ComFoRT
- JACK
- Boogie
- Atomizer
- SPEED
- CVC
- Amphion
- Coquet
- Galculator
- KeY
- RacerX
- MOPS
- VeriCool
- Sparkle
- LOOP
- TVLA
- jStar
- JCrasher
- Traffic 4
- CSPsim
- Mercator
- ASTREE
- CSSV
- FunArray
- Octagon
- VeriCon
- Bugs, moles and skeletons: symbolic reasoning for software development
- CacBDD
- Splint
- ExplainHoudini
- Houdini
- OpenJML
- BoogiePL
- MarQ
- StaRVOOrS
- CHESS
- CTrigger
- Rocksalt
- ASMKeY
- Zapato
- Nemerle
- Kami
- AutoProof
- Calysto
- Jass
- DynaMine
- Dava
- Valigator: A Verification Tool with Bound and Invariant Generation
- Statically safe program generation with SafeGen
- ANNA
- operational
- Dual analysis for proving safety and finding bugs
- SMT proof checking using a logical framework
- E-matching for fun and profit
- Dafny: an automatic program verifier for functional correctness
- Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
This page was built for software: ESC/Java