Summary
This chapter introduced concepts and structures in e that describe the organization of e as a verification language. The discussion in this chapter highlighted the verification facilities required for effective programming of verification activities and presented the specific features of the e language that fulfill those needs.
Chapters 4 and 5 introduce the e language as an effective programming and verification language. Details of these constructs are further explained in chapter 5.
Keywords
Finite State Machine Soft Constraint Physical Field Verification Activity Verification Module
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
Copyright information
© Springer Science + Business Media, Inc. 2004