skip to content
Completing the temporal picture Preview this item
ClosePreview this item
Checking...

Completing the temporal picture

Author: Zohar Manna; A Pnueli; Stanford University. Computer Science Department.
Publisher: Stanford, Calif. : Dept. of Computer Science, Stanford University, 1989.
Series: Report (Stanford University. Computer Science Department), no. STAN-CS-89-1296.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
The paper presents a relatively complete proof system for proving the validity of temporal properties of reactive programs. The presented proof system improves oll previous temporal systems, such as [MP83a] and [MP83b], in that it reduces the validity of program properties into pure assertional reasoning, not involving additional temporal reasoning. The proof system is based on the classification of temporal  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Zohar Manna; A Pnueli; Stanford University. Computer Science Department.
OCLC Number: 21318937
Notes: Cover title.
"December 1989."
"This research was supported in part by the National Science Foundation under grants DCR-8413230 and CCR-8812595, by the Defense Advanced Research Projects Agency under contract N00039-84-C-0211 and by the United States Air Force Office of Scientific Research under contracts AFOSR 87-0149 and 88-0281"--Page [1].
Description: 28 pages : illustrations ; 28 cm.
Series Title: Report (Stanford University. Computer Science Department), no. STAN-CS-89-1296.
Responsibility: by Zohar Manna and Amir Pnueli.

Abstract:

The paper presents a relatively complete proof system for proving the validity of temporal properties of reactive programs. The presented proof system improves oll previous temporal systems, such as [MP83a] and [MP83b], in that it reduces the validity of program properties into pure assertional reasoning, not involving additional temporal reasoning. The proof system is based on the classification of temporal properties according to the Borel hierarchy, providing an appropriate proof rule for each of the main classes, such as safety, response, and progress properties.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/21318937> # Completing the temporal picture
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "21318937" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/41043#Place/stanford_calif> ; # Stanford, Calif.
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/59337776> ; # A. Pnueli
   schema:contributor <http://viaf.org/viaf/149439760> ; # Stanford University. Computer Science Department.
   schema:creator <http://viaf.org/viaf/91223528> ; # Zohar Manna
   schema:datePublished "1989" ;
   schema:description "The paper presents a relatively complete proof system for proving the validity of temporal properties of reactive programs. The presented proof system improves oll previous temporal systems, such as [MP83a] and [MP83b], in that it reduces the validity of program properties into pure assertional reasoning, not involving additional temporal reasoning. The proof system is based on the classification of temporal properties according to the Borel hierarchy, providing an appropriate proof rule for each of the main classes, such as safety, response, and progress properties."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/41043> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/41043#Series/report_stanford_university_computer_science_department> ; # Report (Stanford University. Computer Science Department) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/41043#Series/report> ; # Report ;
   schema:name "Completing the temporal picture"@en ;
   schema:productID "21318937" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/21318937#PublicationEvent/stanford_calif_dept_of_computer_science_stanford_university_1989> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/41043#Agent/dept_of_computer_science_stanford_university> ; # Dept. of Computer Science, Stanford University
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/21318937> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/41043#Agent/dept_of_computer_science_stanford_university> # Dept. of Computer Science, Stanford University
    a bgn:Agent ;
   schema:name "Dept. of Computer Science, Stanford University" ;
    .

<http://experiment.worldcat.org/entity/work/data/41043#Place/stanford_calif> # Stanford, Calif.
    a schema:Place ;
   schema:name "Stanford, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/41043#Series/report_stanford_university_computer_science_department> # Report (Stanford University. Computer Science Department) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/21318937> ; # Completing the temporal picture
   schema:name "Report (Stanford University. Computer Science Department) ;" ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
   schema:name "Proof theory"@en ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

<http://viaf.org/viaf/149439760> # Stanford University. Computer Science Department.
    a schema:Organization ;
   schema:name "Stanford University. Computer Science Department." ;
    .

<http://viaf.org/viaf/59337776> # A. Pnueli
    a schema:Person ;
   schema:familyName "Pnueli" ;
   schema:givenName "A." ;
   schema:name "A. Pnueli" ;
    .

<http://viaf.org/viaf/91223528> # Zohar Manna
    a schema:Person ;
   schema:familyName "Manna" ;
   schema:givenName "Zohar" ;
   schema:name "Zohar Manna" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.