Automatic inductive theorem proving using PROLOG

Authors:
J. Hsiang;Mandayam Srivas
Affiliations:
State Univ. of New York at Stony Brook, Stony Brook, NY;State Univ. of New York at Stony Brook, Stony Brook, NY
Venue:
Theoretical Computer Science
Year:
1987

Citing 0
Cited 3

Inductively Verifying Invariant Properties of Parameterized Systems

Automated Software Engineering
An unfold/fold transformation framework for definite logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Coinduction Rule for Entailment of Recursively Defined Properties

CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming

Quantified Score

Hi-index	5.23

Visualization

Abstract