See this document in CiteSeerX!

Incorporating Decision Procedures in Implicit Induction  (Make Corrections)  
Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat



  Home/Search   Context   Related

 
View or download:
sop.inria.fr/lemme/personnel...jsc02.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  sop.inria.fr/lemme/person...node1 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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