IEEE - Institute of Electrical and Electronics Engineers, Inc. - Practical First-Order Temporal Reasoning

2008 15th International Symposium on Temporal Representation and Reasoning (TIME '08)

Author(s): C. Dixon ; M. Fisher ; B. Konev ; A. Lisitsa
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2008
Conference Location: Montreal, QC, Canada
Conference Date: 16 June 2008
Page(s): 156 - 163
ISBN (Paper): 978-0-7695-3181-6
ISSN (Paper): 1530-1311
DOI: 10.1109/TIME.2008.15
Regular:

In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variety of first-order... View More

Advertisement