Computer Aided Verification
From MaRDI portal
Publication:5716582
DOI10.1007/b138445zbMath1081.68607MaRDI QIDQ5716582
Clark Barrett, Aaron Stump, Leonardo de Moura
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b138445
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Satisfiability Checking: Theory and Applications, Exploiting Symmetry in SMT Problems, Getting saturated with induction, An experiment with satisfiability modulo SAT, Equality detection for linear arithmetic constraints, On the modelling and optimization of preferences in constraint-based temporal reasoning, Fast congruence closure and extensions, Visualizing SAT instances and runs of the DPLL algorithm, The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0, Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers
Uses Software