Proceedings of the 31st annual conference on Design automation conference - DAC '94, 1994
An important practical approach to automatic verification of finite state concurrent systems is t... more An important practical approach to automatic verification of finite state concurrent systems is temporal logic model checking. However, a major barrier towards wider application of such methods is the state explosion problem that often occurs during the composition of complex communicating systems. In addition to being large, many systems have very deep state spaces as well.
Proceedings of the 31st annual conference on Design automation conference - DAC '94, 1994
An important practical approach to automatic verification of finite state concurrent systems is t... more An important practical approach to automatic verification of finite state concurrent systems is temporal logic model checking. However, a major barrier towards wider application of such methods is the state explosion problem that often occurs during the composition of complex communicating systems. In addition to being large, many systems have very deep state spaces as well.
Uploads
Papers by Eric Verlind