Specification pattern example: Precedence
From Wikipedia, the free encyclopedia
Specification pattern example: Precedence
[edit] See also
- Specification patterns for finite-state verification
- Linear temporal logic
- Formal verification
- Model checking
[edit] External source
- M. Dwyer, G. Avruin, J. Corbett, Y. Hu, Patterns in Property Specification for Finite-State Verification. In M. Ardis, editor, Proceedings of the Second Workshop on Formal Methods in Software Practice, pages 7–15, Mar. 1998.
[edit] External link
 |
This article is uncategorized. Please help improve this article by adding it to one or more categories, in addition to a stub category. (how?) Please remove this tag after categorizing. This article has been tagged since November 2006. |
 |
This software-related article is a stub. You can help Wikipedia by expanding it. |
