DocumentCode

313023

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

fYear

1997

fDate

17-23 May 1997

Firstpage

594

Lastpage

595

Keywords

Automata; Computer science; Data analysis; Hardware; Information analysis; Permission; Time factors;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 1997., Proceedings of the 1997 (19th) International Conference on

ISSN

0270-5257

Print_ISBN

0-89791-914-9

Type

conf

DOI

10.1109/ICSE.1997.610422

Filename

610422