Computer Aided Verification
From MaRDI portal
Publication:5900666
DOI10.1007/b11831zbMath1278.68184MaRDI QIDQ5900666
Publication date: 20 April 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11831
68W30: Symbolic computation and algebraic computation
68Q60: Specification and verification (program logics, model checking, etc.)
03C40: Interpolation, preservation, definability
Related Items
Interpolant Generation for UTVPI, Ground Interpolation for Combined Theories, Interpolation and Symbol Elimination, Challenges in Constraint-Based Analysis of Hybrid Systems, Approximation Refinement for Interpolation-Based Model Checking, Efficient Interpolant Generation in Satisfiability Modulo Theories, Accelerating Interpolation-Based Model-Checking, Interpolation and Symbol Elimination in Vampire, Constraint solving for interpolation, SAT-solving in practice, with a tutorial example from supervisory control, An institution-independent proof of the Robinson consistency theorem, Property-directed incremental invariant generation, Model checking duration calculus: a practical approach, Efficient SAT-based bounded model checking for software verification, Interpolation in computing science: The semantics of modularization, Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations, Planning as satisfiability: parallel plans and algorithms for plan search, Visualizing SAT instances and runs of the DPLL algorithm, An interpolating theorem prover, Mutation-Based Test Case Generation for Simulink Models, Refinement of Trace Abstraction, Complete SAT-Based Model Checking for Context-Free Processes, A View from the Engine Room: Computational Support for Symbolic Model Checking, Interpolants for Linear Arithmetic in SMT, Survey on Directed Model Checking, Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints, Ground Interpolation for the Theory of Equality, Boundary Points and Resolution