Options
System description: Inka 5.0 - a logic voyager
Publikationstyp
Conference Paper
Date Issued
1999-07
Sprache
English
Author(s)
First published in
Number in series
1632 LNAI
Start Page
207
End Page
211
Citation
Lecture Notes in Computer Science 1632 LNAI: 207-211 (1999)
Contribution to Conference
Publisher DOI
Scopus ID
Publisher
Springer
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.
DDC Class
004: Informatik