1999 | OriginalPaper | Buchkapitel
System Description: inka 5.0 - A Logic Voyager
verfasst von : Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
Erschienen in: Automated Deduction — CADE-16
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Originally developed as an automatic inductive theorem prover [2] based on res- olution and paramodulation, the inka system was redesigned in inka 4.0 in the early ’90s [8] to meet the requirements arising from its designated use in formal methods. Meanwhile several large industrial applications of the verication sup- port environment (VSE) [7] have been performed which gave rise to thousands of proof obligations to be tackled by its underlying deductive system inka.