Verification Condition Generation and Variable Conditions in Smallfoot

Details Verification Condition Generation and Variable Conditions in Smallfoot Verification Condition Generation and Variable Conditions in Smallfoot

2012-04-21

arxiv.org/abs/1204.4804v1

Computer Science

Logic in Computer Science

Scientific paper

These notes are a companion to [1] which describe - the variable conditions
that Smallfoot checks, - the analysis used to check them, - the algorithm used
to compute a set of verification conditions corresponding to an annotated
program, and - the treatment of concurrent resource initialization code.

Affiliated with

Also associated with

No associations

Rating

Verification Condition Generation and Variable Conditions in Smallfoot 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 Verification Condition Generation and Variable Conditions in Smallfoot, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Verification Condition Generation and Variable Conditions in Smallfoot will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-729492