Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat  Home/Search
Context
Related
| sop.inria.fr/lemme/personnel...jsc02.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sop.inria.fr/lemme/person...node1 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we present an approach to integrating reasoning specialists into Cover Set Induction based on Constraint Contextual Rewriting. The approach has been successfully used to incorporate decision procedures into the SPIKE prover. Computer experiments on non-trivial veri cation problems illustrating the e ectiveness of the proposed technique are given. (Update)
Similar documents based on text: More All
0.9: Incorporating Decision Procedures in Implicit Induction - Armando, Rusinowitch.. (Correct)
0.4: A General Framework to Build Contextual Cover Set Induction.. - STRATULAT (2001) (Correct)
0.4: Analysing Feature Interactions with Automated Deduction.. - Klay, Rusinowitch.. (1999) (Correct)
BibTeX entry: (Update)
@misc{ armando-incorporating,
author = "Alessandro Armando and Michaël Rusinowitch and Sorin Stratulat",
title = "Incorporating Decision Procedures in Implicit Induction",
url = "citeseer.ist.psu.edu/722500.html" }
Citations (may not include all citations):392 A Computational Logic (context) - Boyer, Moore - 1979
221 Constraint logic programming (context) - Ja, J-L - 1987
97 Integrating decision procedures into heuristic theorem prove.. - Boyer, Moore - 1988
82 Two generalizations of the recursive path ordering (context) - Kamin, evy - 1980
78 PVS: A prototype veri cation system (context) - Owre, Rushby et al. - 1992
68 Modern Computer Algebra (context) - Gathen, Gerhard - 1999
59 Simpli cation by Cooperating Decision Procedures (context) - Nelson, Oppen - 1978
21 MJRTY - a fast majority vote algorithm - Boyer, Moore - 1991
12 Reference Manual and User's Guide (context) - Jackson, Proof et al. - 1994
10 Constraint Contextual Rewriting - Armando, Ranise - 1998
9 Contextual Rewriting in Automated Reasoning (context) - Zhang - 1995
9 Contextual rewriting (context) - Zhang, Remy - 1985
8 the uniform halting problem for term rewriting systems (context) - Huet, Lankford - 1978
8 Ein Algorithmus zum Aunden der Basiselemente des Restklassen.. (context) - Buchberger - 1965
7 Termination of Constraint Contextual Rewriting - Armando, Ranise - 2000
[Article contains additional citations not shown here]
Documents on the same site (http://www-sop.inria.fr/lemme/personnel/Sorin.Stratulat/publications1/node1.html):
A General Framework to Build Contextual Cover Set Induction.. - STRATULAT (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC