In this demonstration we give a scenario of how FLAVERS, an implementation of the incremental accuracy improving data flow analysis approach [I], is used to verify event sequence properties of concurrent or distributed software programs.
BibTeX
@inproceedings{Naumovich-al:ICSE97,
author = {Gleb Naumovich and
Lori A. Clarke and
Leon J. Osterweil and
Matthew B. Dwyer},
title = {Verification of Concurrent Software with {FLAVERS}},
booktitle = {ICSE},
pages = {594--595},
publisher = {{ACM}},
year = {1997},
}
