Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By American Mathematical Society

9780821865941, 9781470439613

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A unified approach to the deadlock detection problem in networks of communicating finite state machines

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/003/25 ◽

1991 ◽

pp. 395-404 ◽

Cited By ~ 1

Author(s):

W. Peng ◽

S. Purushothaman

Keyword(s):

Finite State Machines ◽

State Machines ◽

Deadlock Detection ◽

Unified Approach ◽

Detection Problem ◽

Finite State

Download Full-text

Tool support for the refinement calculus

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/003/24 ◽

1991 ◽

pp. 381-394

Author(s):

D. Carrington ◽

K. Robinson

Keyword(s):

Tool Support ◽

Refinement Calculus

Download Full-text

A computation theory and implementation of sequential hardware equivalence

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/003/20 ◽

1991 ◽

pp. 293-320 ◽

Cited By ~ 9

Author(s):

C. Pixley

Keyword(s):

Computation Theory

Download Full-text

Vectorized model checking for computation tree logic

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/003/16 ◽

1991 ◽

pp. 219-230

Author(s):

H. Hiraishi ◽

S. Meki ◽

K. Hamaguchi

Keyword(s):

Model Checking ◽

Computation Tree Logic ◽

Computation Tree

Download Full-text

Verifying temporal properties of sequential machines without building their state diagrams

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/003/07 ◽

1991 ◽

pp. 75-84 ◽

Cited By ~ 9

Author(s):

O. Coudert ◽

J. Madre ◽

C. Berthet

Keyword(s):

State Diagrams ◽

Temporal Properties ◽

Sequential Machines

Download Full-text

A stubborn attack on state explosion

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/003/04 ◽

1991 ◽

pp. 25-42 ◽

Cited By ~ 28

Author(s):

A. Valmari

Keyword(s):

State Explosion

Download Full-text

Extension of the Karp and Miller procedure to LOTOS specifications

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/003/10 ◽

1991 ◽

pp. 103-120 ◽

Cited By ~ 2

Author(s):

M. Barbeau ◽

G. Bochmann

Download Full-text

The algebraic feedback product of automata. A state machine based model of concurrent systems

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/003/37 ◽

1991 ◽

pp. 591-614

Author(s):

V. Yodaiken

Keyword(s):

State Machine ◽

Concurrent Systems

Download Full-text

Synthesizing processes and schedulers from temporal specifications

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/003/13 ◽

1991 ◽

pp. 177-186 ◽

Cited By ~ 15

Author(s):

H. Wong-Toi ◽

D. Dill

Keyword(s):

Temporal Specifications

Download Full-text

Compositional minimization of finite state systems

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/003/06 ◽

1991 ◽

pp. 57-74 ◽

Cited By ~ 11

Author(s):

S. Graf ◽

B. Steffen

Keyword(s):

Finite State

Download Full-text

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By American Mathematical Society

A unified approach to the deadlock detection problem in networks of communicating finite state machines

Tool support for the refinement calculus

A computation theory and implementation of sequential hardware equivalence

Vectorized model checking for computation tree logic

Verifying temporal properties of sequential machines without building their state diagrams

A stubborn attack on state explosion

Extension of the Karp and Miller procedure to LOTOS specifications

The algebraic feedback product of automata. A state machine based model of concurrent systems

Synthesizing processes and schedulers from temporal specifications

Compositional minimization of finite state systems

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Latest Publications