Automatic verification of finite-state concurrent systems using temporal logic specifications

Clarke, Susan E M; Emerson, E. A.; Sistla, A. P.

doi:10.1145/5397.5399

Record: found
Abstract: not found
Article: not found

Automatic verification of finite-state concurrent systems using temporal logic specifications

Author(s): E. M. Clarke , E. A. Emerson , A. P. Sistla

Publication date (Print): April 1986

Journal: ACM Transactions on Programming Languages and Systems

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

Related collections

Author and article information

Journal

Title: ACM Transactions on Programming Languages and Systems

Abbreviated Title: ACM Trans. Program. Lang. Syst.

ISSN (Print): 01640925

Publication date (Print): April 1986

Volume: 8

Issue: 2

Pages: 244-263

Article

DOI: 10.1145/5397.5399

SO-VID: 22a731c3-28a1-4358-bc9f-ce9b637bd5ff

History

Data availability:

Comments

Comment on this article

scite_

Cited by 275

Smart cars on smart roads: problems of control
Authors: P. Varaiya
The synchronous data flow programming language LUSTRE
Authors: D. Pilaud, N. Halbwachs, P. Raymond …
Automatic symbolic verification of embedded systems
Authors: Pei-Hsin Ho, R. Alur, T.A. Henzinger

See all cited by

Automatic verification of finite-state concurrent systems using temporal logic specifications

Read this article at

Abstract

Related collections

Socioecological systems

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 1,258

Cited by 275