swMATH9485MaRDI QIDQ21467FDOQ21467
Author name not available (Why is that?)
Official website: http://cvc4.cs.nyu.edu/web/
Cited In (only showing first 100 items - show all)
- Apron
- Beaver
- Boolector
- CoCoALib
- CPBPV
- CUTE
- Dafny
- D-Finder
- LEO-II
- MiniSat
- Nitpick
- SDSAT
- SYNRAC
- LOGEN
- VAMPIRE
- Paradox
- SMT-LIB
- REDLOG
- SPASS
- TPTP
- Punf
- Frama-C
- SATIRE
- Why3
- Yices
- Alt-Ergo
- KLEE
- LLVM
- SIMPLIFY
- z3
- Orbital library
- libpoly
- OCaml
- Cadmium
- PoCaB
- GiNaCRA
- Satallax
- Princess
- Zenon
- Kodkod
- Sledgehammer
- ProB
- ATGen
- DART
- Scala
- PathCrawler
- SMTInterpol
- TaPAS
- veriT
- NQTHM
- SPIKE
- Boogie
- HipSpec
- KRATOS
- MaSh
- Zeno
- CLSAT
- OpenSMT
- CPGraph
- versat
- SYMBA
- Cunf
- Leon
- Mole
- StarExec
- MathSAT5
- CBMC
- Cumapz
- Stranger
- Eldarica
- iProver
- InvGen
- Ocelot
- MFE
- HAMPI
- NaCl
- TLAPS
- TLC
- Qex
- E Theorem Prover
- WhyML
- Ivy
- Banshee
- Hipster
- Mcmt
- dk.brics.automaton
- GQML
- Rex
- Kaluza
- Skeptik
- ABC
- CCASat
- FOCI
- CArL
- Easychair
- SMT-RAT
- DRAT-trim
- SynchAADL2Maude
- Automated theory exploration for interactive theorem proving: an introduction to the Hipster system
- Metis
This page was built for software: CVC4
