Title :
Verlticatlon of Concurrent Software with FLAVERS
Author :
Naumovich, Gleb ; Clarke, Lori A. ; Osterweil, Leon J. ; Dwyer, Matthew B.
Author_Institution :
University of Massachusetts, Amherst
Keywords :
Automata; Computer science; Data analysis; Hardware; Information analysis; Permission; Time factors;
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 (19th) International Conference on
Print_ISBN :
0-89791-914-9
DOI :
10.1109/ICSE.1997.610422
