CVC

From MaRDI portal
Software:21445



swMATH9462MaRDI QIDQ21445


No author found.





Related Items (44)

New results on rewrite-based satisfiability proceduresOptimization modulo non-linear arithmetic via incremental linearizationStrategies for combining decision proceduresCombining nonstably infinite theoriesGeneralizing DPLL and satisfiability for equalitiesUnnamed ItemLogics in Artificial IntelligenceUnnamed ItemDesign and results of the first satisfiability modulo theories competition (SMT-COMP 2005)The SAT-based approach to separation logicUnnamed ItemComputer Aided VerificationAutomated Technology for Verification and AnalysisFormal Approaches to Software TestingComputer Science LogicEquality detection for linear arithmetic constraintsEnhancing Program Verification with LemmasAutomated verification of shape, size and bag properties via user-defined predicates in separation logicPreface to the special issue ``SI: satisfiability modulo theoriesTerm Rewriting and ApplicationsFrontiers of Combining SystemsCombining Non-Stably Infinite TheoriesUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemCorrect Hardware Design and Verification MethodsBuilding small equality graphs for deciding equality logic with uninterpreted functionsTranslation Validation of Loop Optimizations and Software Pipelining in the TVOC FrameworkA Decision Procedure for Bit-Vectors and ArraysOrion: High-Precision Methods for Static Error Analysis of C and C++ ProgramsEmbedded software verification using symbolic execution and uninterpreted functionsComputing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear ConstraintsModel Checking SoftwareModel Checking SoftwareAn approach for extracting a small unsatisfiable coreAutomated Deduction – CADE-19A framework for satisfiability modulo theoriesCombining Equational ReasoningComputer Aided VerificationComputer Aided VerificationRewrite-Based Decision ProceduresImperative LF Meta-ProgrammingTranslation and run-time validation of loop transformations


This page was built for software: CVC