Edit and verify

Details Edit and verify Edit and verify

2007-08-06

arxiv.org/abs/0708.0713v1

Computer Science

Logic in Computer Science

Scientific paper

Automated theorem provers are used in extended static checking, where they
are the performance bottleneck. Extended static checkers are run typically
after incremental changes to the code. We propose to exploit this usage pattern
to improve performance. We present two approaches of how to do so and a full
solution.

Affiliated with

Also associated with

No associations

Rating

Edit and verify 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 Edit and verify, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Edit and verify will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-403751