For the most recent entries see the Petri Nets Newsletter.

Verifying temporal properties of systems.

Bradfield, J.C.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography