The following pages link to veriT (Q19326):
Displaying 11 items.
- Decision procedures for flat array properties (Q287272) (← links)
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- A learning-based fact selector for Isabelle/HOL (Q331617) (← links)
- Combining decision procedures by (model-)equality propagation (Q436376) (← links)
- Quantifier simplification by unification in SMT (Q831945) (← links)
- Positive solutions of systems of signed parametric polynomial inequalities (Q1798326) (← links)
- Integration of SMT-solvers in B and Event-B development environments (Q1951640) (← links)
- A superposition calculus for abductive reasoning (Q2013317) (← links)
- Reliable reconstruction of fine-grained proofs in a proof assistant (Q2055877) (← links)
- Flexible proof production in an industrial-strength SMT solver (Q2104495) (← links)
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description) (Q2104500) (← links)
