Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540646082, 9783540693390

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A general approach to partial order reductions in symbolic verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/bfb0028760 ◽

1998 ◽

pp. 379-390 ◽

Cited By ~ 11

Author(s):

Parosh Aziz Abdulla ◽

Bengt Jonsson ◽

Mats Kindahl ◽

Doron Peled

Keyword(s):

Partial Order ◽

Symbolic Verification

Download Full-text

Efficient symbolic detection of global properties in distributed systems

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/bfb0028758 ◽

1998 ◽

pp. 357-368 ◽

Cited By ~ 4

Author(s):

Scott D. Stoller ◽

Yanhong A. Liu

Keyword(s):

Distributed Systems ◽

Global Properties

Download Full-text

Decomposing the proof of correctness of pipelined microprocessors

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/bfb0028739 ◽

1998 ◽

pp. 122-134 ◽

Cited By ~ 15

Author(s):

Ravi Hosabettu ◽

Mandayam Srivas ◽

Ganesh Gopalakrishnan

Keyword(s):

Proof Of Correctness ◽

Pipelined Microprocessors

Download Full-text

Generating finite-state abstractions of reactive systems using decision procedures

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/bfb0028753 ◽

1998 ◽

pp. 293-304 ◽

Cited By ~ 50

Author(s):

Michael A. Colón ◽

Tomás E. Uribe

Keyword(s):

Reactive Systems ◽

Decision Procedures ◽

Finite State

Download Full-text

A toolset for message sequence charts

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/bfb0028776 ◽

1998 ◽

pp. 532-536 ◽

Cited By ~ 2

Author(s):

Doron A. Peled

Keyword(s):

Message Sequence Charts

Download Full-text

Xeve, an Esterel verification environment

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/bfb0028770 ◽

1998 ◽

pp. 500-504 ◽

Cited By ~ 20

Author(s):

Amar Bouali

Download Full-text

Formal verification of out-of-order execution using incremental flushing

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/bfb0028737 ◽

1998 ◽

pp. 98-109 ◽

Cited By ~ 12

Author(s):

Jens U. Skakkebæk ◽

Robert B. Jones ◽

David L. Dill

Keyword(s):

Formal Verification ◽

Order Execution

Download Full-text

Formal methods in an industrial environment

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/bfb0028732 ◽

1998 ◽

pp. 57-60 ◽

Cited By ~ 2

Author(s):

Jorge R. Cuéllar

Keyword(s):

Formal Methods ◽

Industrial Environment

Download Full-text

Verifying systems with infinite but regular state spaces

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/bfb0028736 ◽

1998 ◽

pp. 88-97 ◽

Cited By ~ 75

Author(s):

Pierre Wolper ◽

Bernard Boigelot

Keyword(s):

State Spaces

Download Full-text

On the limitations of ordered representations of functions

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/bfb0028748 ◽

1998 ◽

pp. 232-243 ◽

Cited By ~ 2

Author(s):

Jayram S. Thathachar

Download Full-text

Computer Aided Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A general approach to partial order reductions in symbolic verification

Efficient symbolic detection of global properties in distributed systems

Decomposing the proof of correctness of pipelined microprocessors

Generating finite-state abstractions of reactive systems using decision procedures

A toolset for message sequence charts

Xeve, an Esterel verification environment

Formal verification of out-of-order execution using incremental flushing

Formal methods in an industrial environment

Verifying systems with infinite but regular state spaces

On the limitations of ordered representations of functions

Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications