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.


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
    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 = {}


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