Verification of concurrent software with FLAVERS
Gleb N. Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer · 1997
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.