SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

ICS: Integrated Canonizer and Solver
 by Sam Owre, Dr. Harald Rueß, Dr. Natarajan Shankar & Jean-Christophe Filliâtre.

2001.


Abstract
ICS (Integrated Canonizer and Solver) is a decision procedure developed at SRI International. It is based on well-developed theory, it efficiently decides formulas in a useful combination of theories, and it provides an API that makes it suitable for use in applications with highly dynamic environments such as proof search or symbolic simulation.
BibTEX Entry
@unpublished{FilliatreOwreRuessShankar:CAV2001,
    AUTHOR = {Jean-Christophe Filli\^{a}tre and Sam Owre and Harald Rue\ss and {N.} Shankar},
    TITLE = {{ICS:} Integrated Canonizer and Solver},
    NOTE = {To be presented at {CAV'2001}},
    YEAR = {2001},
    URL = {http://www.csl.sri.com/papers/cav01/}
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy