Automatic verification of probabilistic concurrent finite state programs

26th Annual Symposium on Foundations of Computer Science (sfcs 1985) ◽

10.1109/sfcs.1985.12 ◽

1985 ◽

Cited By ~ 318

Author(s):

Moshe Y. Vardi

Keyword(s):

Automatic Verification ◽

Finite State ◽

State Programs

Download Full-text

On the complexity of deciding fair termination of probabilistic concurrent finite-state programs

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-16761-7_83 ◽

1986 ◽

pp. 334-343 ◽

Cited By ~ 2

Author(s):

Louis E. Rosier ◽

Hsu-Chun Yen

Keyword(s):

Finite State ◽

State Programs

Download Full-text

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

ACM Transactions on Programming Languages and Systems ◽

10.1145/5397.5399 ◽

1986 ◽

Vol 8 (2) ◽

pp. 244-263 ◽

Cited By ~ 2006

Author(s):

E. M. Clarke ◽

E. A. Emerson ◽

A. P. Sistla

Keyword(s):

Temporal Logic ◽

Concurrent Systems ◽

Automatic Verification ◽

Finite State

Download Full-text

Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs

Information and Computation ◽

10.1006/inco.1993.1069 ◽

1993 ◽

Vol 107 (2) ◽

pp. 272-302 ◽

Cited By ~ 39

Author(s):

B. Jonsson ◽

J. Parrow

Keyword(s):

Finite State ◽

State Programs

Download Full-text

Research on Automatic Verification of Finite-State Concurrent Systems.

10.21236/ada188618 ◽

1987 ◽

Author(s):

R. E. Bryant ◽

E.M. Clarke ◽

O. Grumberg

Keyword(s):

Concurrent Systems ◽

Automatic Verification ◽

Finite State

Download Full-text

Automatic verification of finite state concurrent system using temporal logic specifications

Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83 ◽

10.1145/567067.567080 ◽

1983 ◽

Cited By ~ 163

Author(s):

E. M. Clarke ◽

E. A. Emerson ◽

A. P. Sistla

Keyword(s):

Temporal Logic ◽

Automatic Verification ◽

Concurrent System ◽

Finite State

Download Full-text

Exploiting transition locality in automatic verification of finite-state concurrent systems

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-004-0149-6 ◽

2004 ◽

Vol 6 (4) ◽

pp. 320-341 ◽

Cited By ~ 28

Author(s):

Giuseppe Della Penna ◽

Benedetto Intrigila ◽

Igor Melatti ◽

Enrico Tronci ◽

Marisa Venturini Zilli

Keyword(s):

Concurrent Systems ◽

Automatic Verification ◽

Finite State

Download Full-text

Deciding bisimulation equivalences for a class of non-finite-state programs

STACS 89 - Lecture Notes in Computer Science ◽

10.1007/bfb0029004 ◽

2005 ◽

pp. 421-433 ◽

Cited By ~ 7

Author(s):

Bengt Jonsson ◽

Joachim Parrow

Keyword(s):

Finite State ◽

State Programs

Download Full-text

Automatic Verification and Synthesis of Finite-State Hard Real-Time Systems.

10.21236/ada291279 ◽

1994 ◽

Author(s):

David Dill

Keyword(s):

Real Time ◽

Automatic Verification ◽

Real Time Systems ◽

Finite State ◽

Hard Real Time ◽

Time Systems

Download Full-text

Automatic Verification Methods for Finite State Systems

10.1007/3-540-52148-8 ◽

1990 ◽

Cited By ~ 9

Keyword(s):

Automatic Verification ◽

Verification Methods ◽

Finite State

Download Full-text

Automatic verification of finite-state concurrent systems

Lecture Notes in Computer Science - Application and Theory of Petri Nets 1994 ◽

10.1007/3-540-58152-9_1 ◽

1994 ◽

pp. 1-1 ◽

Cited By ~ 1

Author(s):

Edmund M. Clarke

Keyword(s):

Concurrent Systems ◽

Automatic Verification ◽

Finite State

Download Full-text