Instantiation Schemes for Nested Theories

Details Instantiation Schemes for Nested Theories Instantiation Schemes for Nested Theories

2011-07-25

arxiv.org/abs/1107.4937v1

Computer Science

Artificial Intelligence

Scientific paper

This paper investigates under which conditions instantiation-based proof
procedures can be combined in a nested way, in order to mechanically construct
new instantiation procedures for richer theories. Interesting applications in
the field of verification are emphasized, particularly for handling extensions
of the theory of arrays.

Affiliated with

Also associated with

No associations

Rating

Instantiation Schemes for Nested Theories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Instantiation Schemes for Nested Theories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Instantiation Schemes for Nested Theories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-572600