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

9783540600459, 9783540494133

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Multipliers and dividers: Insights on arithmetic circuit verification (extended abstract)

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-60045-0_35 ◽

1995 ◽

pp. 1-3

Author(s):

Randal E. Bryant

Keyword(s):

Arithmetic Circuit ◽

Circuit Verification

Download Full-text

Trace theoretic verification of asynchronous circuits using unfoldings

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-60045-0_50 ◽

1995 ◽

pp. 180-195 ◽

Cited By ~ 19

Author(s):

K. L. McMillan

Keyword(s):

Asynchronous Circuits

Download Full-text

On the model checking problem for branching time logics and basic parallel processes

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-60045-0_62 ◽

1995 ◽

pp. 353-366 ◽

Cited By ~ 19

Author(s):

Javier Esparza ◽

Astrid Kiehn

Keyword(s):

Model Checking ◽

Branching Time ◽

Parallel Processes

Download Full-text

The rabin index and chain automata, with applications to automata and games

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-60045-0_55 ◽

1995 ◽

pp. 253-266 ◽

Cited By ~ 5

Author(s):

Sriram C. Krishnan ◽

Anuj Puri ◽

Robert. K. Brayton ◽

Pravin P. Varaiya

Download Full-text

Interactively verifying a simple real-time scheduler

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-60045-0_65 ◽

1995 ◽

pp. 395-408 ◽

Cited By ~ 1

Author(s):

Colin Fidge ◽

Peter Kearney ◽

Mark Utting

Keyword(s):

Real Time

Download Full-text

Local model checking for real-time systems

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-60045-0_52 ◽

1995 ◽

pp. 211-224 ◽

Cited By ~ 22

Author(s):

Oleg V. Sokolsky ◽

Scott A. Smolka

Keyword(s):

Model Checking ◽

Real Time ◽

Local Model ◽

Real Time Systems ◽

Time Systems ◽

Local Model Checking

Download Full-text

Automated analysis of an audio control protocol

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-60045-0_64 ◽

1995 ◽

pp. 381-394 ◽

Cited By ~ 29

Author(s):

Pei -Hsin Ho ◽

Howard Wong-Toi

Keyword(s):

Automated Analysis ◽

Control Protocol

Download Full-text

Generating BDD models for process algebra terms

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-60045-0_37 ◽

1995 ◽

pp. 16-30 ◽

Cited By ~ 6

Author(s):

Ashvin Dsouza ◽

Bard Bloom

Keyword(s):

Process Algebra

Download Full-text

Toupie=μ-calculus+constraints

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-60045-0_44 ◽

1995 ◽

pp. 114-126 ◽

Cited By ~ 4

Author(s):

Antoine Rauzy

Download Full-text

Algorithmic analysis of nonlinear hybrid systems

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-60045-0_53 ◽

1995 ◽

pp. 225-238 ◽

Cited By ~ 55

Author(s):

Thomas A. Henzinger ◽

Pei -Hsin Ho

Keyword(s):

Hybrid Systems ◽

Algorithmic Analysis ◽

Nonlinear Hybrid

Download Full-text

Computer Aided Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Multipliers and dividers: Insights on arithmetic circuit verification (extended abstract)

Trace theoretic verification of asynchronous circuits using unfoldings

On the model checking problem for branching time logics and basic parallel processes

The rabin index and chain automata, with applications to automata and games

Interactively verifying a simple real-time scheduler

Local model checking for real-time systems

Automated analysis of an audio control protocol

Generating BDD models for process algebra terms

Toupie=μ-calculus+constraints

Algorithmic analysis of nonlinear hybrid systems

Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications