Incremental Validation of Formal Specifications
This thesis presents a tool for the mechanical validation of formal software specifications. The tool is based on a novel approach to incremental validation. In this approach, small-scale aspects of a specification are validated, as part of the stepwise refinement of a formal model. The incremental...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
DigitalCommons@CalPoly
2009
|
| Subjects: | |
| Online Access: | https://digitalcommons.calpoly.edu/theses/71 https://digitalcommons.calpoly.edu/cgi/viewcontent.cgi?article=1079&context=theses |