Extending FLAVERS to Check Properties on Infinite Executions of Concurrent Software Systems
Gleb N. Naumovich, Lori A. Clarke · 2000
Finite state verication techniques can be used for detecting the presence or proving the absence of certain kinds of errors in software systems. These approaches are based on reason-ing about a nite, abstracted model of a system's behaviors.