Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

11

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540564966, 9783540475729

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generating diagnostic information for behavioral preorders

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-56496-9_29 ◽

1993 ◽

pp. 370-383 ◽

Author(s):

Ufuk Celikkan ◽

Ranee Cleaveland

Keyword(s):

Diagnostic Information

Download Full-text

Modular abstractions for verifying real-time distributed systems

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-56496-9_2 ◽

1993 ◽

pp. 2-15

Author(s):

Hana De-Leon ◽

Orna Grumberg

Keyword(s):

Distributed Systems ◽

Download Full-text

Verifying timed behavior automata with nonbinary delay constraints

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-56496-9_11 ◽

1993 ◽

pp. 123-136 ◽

Author(s):

David K. Probst ◽

Hon F. Li

Keyword(s):

Delay Constraints

Download Full-text

Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-56496-9_14 ◽

1993 ◽

pp. 164-177 ◽

Author(s):

K. L. McMillan

Keyword(s):

Asynchronous Circuits ◽

The State ◽

State Explosion ◽

State Explosion Problem

Download Full-text

Model-checking for real-time systems specified in Lotos

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-56496-9_23 ◽

1993 ◽

pp. 288-301

Author(s):

N. Rico ◽

G. Bochmann ◽

O. Cherkaoui

Keyword(s):

Model Checking ◽

Real Time ◽

Real Time Systems ◽

Download Full-text

Design verification of a microprocessor using branching time regular temporal logic

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-56496-9_17 ◽

1993 ◽

pp. 206-219

Author(s):

Kiyoharu Hamaguchi ◽

Hiromi Hiraishi ◽

Shuzo Yajima

Keyword(s):

Temporal Logic ◽

Design Verification ◽

Download Full-text

Tableau recycling

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-56496-9_26 ◽

1993 ◽

pp. 330-342 ◽

Author(s):

Angelika Mader

Download Full-text

A proof assistant for symbolic model-checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-56496-9_25 ◽

1993 ◽

pp. 316-329 ◽

Author(s):

J. C. Bradfield

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Proof Assistant ◽

Download Full-text

Efficient local correctness checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-56496-9_4 ◽

1993 ◽

pp. 30-43 ◽

Author(s):

Kim Guldstrand Larsen

Keyword(s):

Correctness Checking

Download Full-text

State space caching revisited

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-56496-9_15 ◽

1993 ◽

pp. 178-191 ◽

Author(s):

Patrice Godefroid ◽

Gerard J. Holzmann ◽

Didier Pirottin

Keyword(s):

Download Full-text