In: Birkhäuser Boston Inc. Cambridge, MA, 115 pages. 1992.
Abstract: A powerful tableau technique for the verification of properties of both finite and infinite systems is introduced. The technique extends to the case of infinite systems the idea of finite local model-checking introduced by Stirling and Walker. This book is based on the author's dissertation.