Connexions

Sections
You are here: Home » Content » Using Temporal Logic to Specify Properties

About: Using Temporal Logic to Specify Properties

Module by: Ian Barland, John Greiner, Moshe Vardi. E-mail the authors

View content

Metadata

Name: Using Temporal Logic to Specify Properties
ID: m12317
Language: English (en)
Summary:
Subject: Mathematics and Statistics, Science and Technology
Keywords:
Document Type: -//CNX//DTD CNXML 0.5 plus MathML//EN
License: Creative Commons Attribution License CC-BY 1.0
Authors: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Moshe Vardi (vardi@cs.rice.edu)
Copyright Holders: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Moshe Vardi (vardi@cs.rice.edu)
Maintainers: Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu)
Latest version: 1.13 (history)
First publication date: Jul 19, 2004 11:48 am GMT-5
Last revision to module: Oct 6, 2005 3:43 pm GMT-5
Module XML: m12317_1.13.cnxml

Version History

Version: 1.13 Oct 6, 2005 3:43 pm GMT-5 by John Greiner
Changes: 
made final pass
Version: 1.12 Aug 20, 2005 7:24 pm GMT-5 by Ian Barland
Changes: 
Final pass; moved practical-bank 
discussion to modeling.
Version: 1.11 Aug 10, 2005 1:45 pm GMT-5 by Ian Barland
Changes: 
small formatting improvements; id tags under control.
Version: 1.10 Jul 26, 2005 5:42 pm GMT-5 by Ian Barland
Changes: 
role added
Version: 1.9 Jul 26, 2005 5:30 pm GMT-5 by Ian Barland
Changes: 
some pictures in proper(?) place
Version: 1.8 Jul 26, 2005 5:15 pm GMT-5 by Ian Barland
Changes: 
Diagrams included!, text expanded.  A pretty big update.
Version: 1.7 Jul 7, 2005 4:34 pm GMT-5 by Ian Barland
Changes: 
Beta release
Version: 1.6 Feb 17, 2005 5:27 pm US/Central by Ian Barland
Changes: 
Fix up parts; further fixup remains...
Version: 1.5 Jan 20, 2005 2:21 pm US/Central by Ian Barland
Changes: 
added state-sequence as a table
Version: 1.4 Aug 12, 2004 5:44 am GMT-5 by Bri
Changes: 
na
Version: 1.3 Aug 11, 2004 11:40 am GMT-5 by Bri
Changes: 
update
Version: 1.2 Aug 11, 2004 9:14 am GMT-5 by Bri
Changes: 
mathml
Version: 1.1 Jul 19, 2004 11:48 am GMT-5 by Bri
Changes: 
new sections

How to Reuse and Attribute This Content

If you derive a copy of this content using a Connexions account and publish your version, proper attribution of the original work will be automatically done for you.

If you reuse this work elsewhere, in order to comply with the attribution requirements of the license (CC-BY 1.0), you must include

  • the authors' names: Ian Barland, John Greiner, Moshe Vardi
  • the title of the work: Using Temporal Logic to Specify Properties
  • the Connexions URL where the work can be found: http://cnx.org/content/m12317/1.13/

See the citation section below for examples you can copy.

How to Cite and Attribute This Content

The following citation styles comply with the attribution requirements for the license (CC-BY 1.0) of this work:

American Chemical Society (ACS) Style Guide:

Barland, I.; Greiner, J.; Vardi, M. Using Temporal Logic to Specify Properties, Connexions Web site. http://cnx.org/content/m12317/1.13/, Oct 6, 2005.

American Medical Assocation (AMA) Manual of Style:

Barland I, Greiner J, Vardi M. Using Temporal Logic to Specify Properties [Connexions Web site]. October 6, 2005. Available at: http://cnx.org/content/m12317/1.13/.

American Psychological Assocation (APA) Publication Manual:

Barland, I., Greiner, J., & Vardi, M. (2005, October 6). Using Temporal Logic to Specify Properties. Retrieved from the Connexions Web site: http://cnx.org/content/m12317/1.13/

Chicago Manual of Style (Bibliography):

Barland, Ian, John Greiner, and Moshe Vardi. "Using Temporal Logic to Specify Properties." Connexions. October 6, 2005. http://cnx.org/content/m12317/1.13/.

Chicago Manual of Style (Note):

Ian Barland, John Greiner, and Moshe Vardi, "Using Temporal Logic to Specify Properties," Connexions, October 6, 2005, http://cnx.org/content/m12317/1.13/.

Chicago Manual of Style (Reference, in Author-Date style):

Barland, I., Greiner, J., & Vardi, M. 2005. Using Temporal Logic to Specify Properties. Connexions, October 6, 2005. http://cnx.org/content/m12317/1.13/.

Modern Languages Association (MLA) Style Manual:

Barland, Ian, John Greiner, and Moshe Vardi. Using Temporal Logic to Specify Properties. Connexions. 6 Oct. 2005 <http://cnx.org/content/m12317/1.13/>.