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

9783540564966, 9783540475729

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

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 ◽

Branching Time

Download Full-text

Tableau recycling

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-56496-9_26 ◽

1993 ◽

pp. 330-342 ◽

Cited By ~ 1

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 ◽

Cited By ~ 1

Author(s):

J. C. Bradfield

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Proof Assistant ◽

Symbolic Model

Download Full-text

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 ◽

Cited By ~ 2

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 ◽

Real Time

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 108

Author(s):

K. L. McMillan

Keyword(s):

Asynchronous Circuits ◽

The State ◽

State Explosion ◽

State Explosion Problem

Download Full-text

Timing verification by successive approximation

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-56496-9_12 ◽

1993 ◽

pp. 137-150 ◽

Cited By ~ 15

Author(s):

R. Alur ◽

A. Itai ◽

R. Kurshan ◽

M. Yannakakis

Keyword(s):

Successive Approximation ◽

Timing Verification

Download Full-text

Computer-hindered verification (humans can do it too)

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-56496-9_1 ◽

1993 ◽

pp. 1-1

Author(s):

Leslie Lamport

Download Full-text

Computer Aided Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Model-checking for real-time systems specified in Lotos

Design verification of a microprocessor using branching time regular temporal logic

Tableau recycling

A proof assistant for symbolic model-checking

Generating diagnostic information for behavioral preorders

Modular abstractions for verifying real-time distributed systems

Verifying timed behavior automata with nonbinary delay constraints

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

Timing verification by successive approximation

Computer-hindered verification (humans can do it too)

Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications