Satisfiability modulo bounded checking

DOI10.1007/978-3-319-63046-5_8zbMath1494.68283OpenAlexW2735287568MaRDI QIDQ2405244

Simon Cruanes

Publication date: 22 September 2017

Full work available at URL: https://hal.inria.fr/hal-01572531/file/paper.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Higher-order logic (03B16) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Tests and proofs for custom data generators

Uses Software

• ACL2
• Coq
• Isabelle
• SMT-LIB
• QuickCheck

This page was built for publication: Satisfiability modulo bounded checking