FLAVERS: A finite state verification technique for software systems

Authors

JM Cobleigh
LA Clarke
LJ OsterweilFollow

Publication Date

2002

Journal or Book Title

IBM SYSTEMS JOURNAL

Pages

140-165

Volume

41

Issue

1

Recommended Citation

Cobleigh, JM; Clarke, LA; and Osterweil, LJ, "FLAVERS: A finite state verification technique for software systems" (2002). IBM SYSTEMS JOURNAL. 269.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/269