swMATH4976MaRDI QIDQ17123FDOQ17123
Author name not available (Why is that?)
Official website: http://www.kindsoftware.com/products/opensource/Simplify/
Cited In (only showing first 100 items - show all)
- The Daikon system for dynamic detection of likely invariants
- Automating Induction with an SMT Solver
- HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier
- Boolector
- QOCA
- Cogent
- SMT-LIB
- Caduceus
- JML
- Frama-C
- Omnibus
- Why3
- Yices
- Alt-Ergo
- cvc3
- Spec#
- UCLID
- z3
- MONA
- Princess
- bv2epr
- Zap
- ESC/Java
- Korat
- JUnit
- VCC
- veriT
- CVC Lite
- Boogie
- Chalice
- PeRIPLO
- OpenSMT
- Bebop
- Leon
- CVC
- CVC4
- iProver-Eq
- eVolCheck
- Amphion
- CVT
- CCured
- KeY
- Omega+
- SCOOT
- MOPS
- VeriCool
- Sparkle
- LOOP
- TVLA
- UMM
- CSIsat
- VerCors
- Mcmt
- Jahob
- FOCI
- SatAbs
- Mercator
- Beagle
- SymDiff
- Cubicle
- VERL
- Wolverine
- VeriCon
- ICS
- CoqMT
- Graphsc
- CLIN
- Houdini
- PySMT
- DDVerify
- Spacer
- C-Light
- Stardust
- LASH
- LIRA
- BoogiePL
- VeriFun
- C32SAT
- QAGen
- HARP
- Zapato
- Z34Bio
- AstraVer
- Tarski
- Nemerle
- DPT
- EVES
- TRANSIT
- Calysto
- RVT
- AutoFilter
- Jass
- GKC
- Heq
- STLlint
- MurmurHash
- Valigator: A Verification Tool with Bound and Invariant Generation
- ANNA
- egg
- Dafny: an automatic program verifier for functional correctness
This page was built for software: SIMPLIFY
