Advertisement
Published in:
2014 | OriginalPaper | Chapter
9. A Verification Method for Rule Programs
Author : Bruno Berstel-Da Silva
Published in: Verification of Business Rules Programs
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
The previous chapter exhibited the core mechanism of our compositional verification method, with a simple proof rule for a particular class of rule programs. In this chapter, we expose the proof rule for the general case. We prove that this proof rule is sound and relatively complete. We illustrate it with the complete application of our verification method on an example rule program.