FLAVERS: A finite state verification technique for software systems

  title={FLAVERS: A finite state verification technique for software systems},
  author={Jamieson M. Cobleigh and Lori A. Clarke and Leon J. Osterweil},
  journal={IBM Systems Journal},
Software systems are increasing in size and complexity and, subsequently, are becoming ever more difficult to validate. Finite state verification (FSV) has been gaining credibility and attention as an alternative to testing and to formal verification approaches based on theorem proving. There has recently been a great deal of excitement about the potential for FSV approaches to prove properties about hardware descriptions but, for the most part, these approaches do not scale adequately to… CONTINUE READING
Highly Cited
This paper has 56 citations. REVIEW CITATIONS


Publications citing this paper.

56 Citations

Citations per Year
Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…