Design for Verification with Dynamic Assertions

  title={Design for Verification with Dynamic Assertions},
  author={Peter C. Mehlitz and John Penix},
  journal={29th Annual IEEE/NASA Software Engineering Workshop},
Completed design and implementation are often regarded as prerequisites of any verification. While recent development methods establish testability as a design criterion, there is no corresponding design support for other verification methods like model checking and static analysis. Since these methods have inherent scalability problems, their application becomes more difficult where it is most needed - for complex systems. Our design-for-verification (D4V) approach attempts to close this gap… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-7 of 7 references

Java PathFinder - A second generation of a Java model checker

  • G. Brat, K. Havelund, S. Park, W. Visser
  • Proceedings of the Workshop on Advances in…
  • 2000
Highly Influential
3 Excerpts

A Collaborative Spiral Software Process Model Based on Theoy W

  • B. Boehm, P. Bose
  • Third International Conference on the Software…
  • 1994
1 Excerpt

Similar Papers

Loading similar papers…