An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic

An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic
Author :
Publisher :
Total Pages : 21
Release :
ISBN-10 : OCLC:15516737
ISBN-13 :
Rating : 4/5 ( Downloads)
DOWNLOAD EBOOK
Book Synopsis An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic by : Michael C. Browne

Download or read book An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic written by Michael C. Browne and published by . This book was released on 1986 with total page 21 pages. Available in PDF, EPUB and Kindle. Book excerpt:


An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic Related Books

An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic
Language: en
Pages: 21

An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic

Authors: Michael C. Browne
Categories: Logic, Symbolic and mathematical
Type: BOOK - Published: 1986 - Publisher:

DOWNLOAD EBOOK

Automatic Verification Methods for Finite State Systems
Language: en
Pages: 392

Automatic Verification Methods for Finite State Systems

Authors: Joseph Sifakis
Categories: Computers
Type: BOOK - Published: 1990-01-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite sta
Temporal Logic
Language: en
Pages: 564

Temporal Logic

Authors: Dov M. Gabbay
Categories: Computers
Type: BOOK - Published: 1994-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its concep
CAAP '88
Language: en
Pages: 320

CAAP '88

Authors: Max Dauchet
Categories: Computers
Type: BOOK - Published: 1988-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 c
Real-Time: Theory in Practice
Language: en
Pages: 740

Real-Time: Theory in Practice

Authors: J.W.de Bakker
Categories: Computers
Type: BOOK - Published: 1992-06-24 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a r