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

9783540581796, 9783540484691

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An automata-theoretic approach to branching-time model checking (Extended abstract)

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_50 ◽

1994 ◽

pp. 142-155 ◽

Cited By ~ 48

Author(s):

Orna Bernholtz ◽

Moshe Y. Vardi ◽

Pierre Wolper

Keyword(s):

Model Checking ◽

Theoretic Approach ◽

Branching Time ◽

Time Model

Download Full-text

Decidability of hybrid systems with rectangular differential inclusions

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_46 ◽

1994 ◽

pp. 95-104 ◽

Cited By ~ 58

Author(s):

Anuj Puri ◽

Pravin Varaiya

Keyword(s):

Hybrid Systems ◽

Differential Inclusions

Download Full-text

The mobility workbench — A tool for the π-Calculus

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_73 ◽

1994 ◽

pp. 428-440 ◽

Cited By ~ 77

Author(s):

Björn Victor ◽

Faron Moller

Keyword(s):

Π Calculus

Download Full-text

Performance improvement of state space exploration by regular & differential hashing functions

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_68 ◽

1994 ◽

pp. 364-376 ◽

Cited By ~ 2

Author(s):

Bernard Cousin ◽

Jean-michel Hélary

Keyword(s):

State Space ◽

Performance Improvement ◽

Space Exploration ◽

State Space Exploration

Download Full-text

Automatic verification of pipelined microprocessor control

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_44 ◽

1994 ◽

pp. 68-80 ◽

Cited By ~ 163

Author(s):

Jerry R. Burch ◽

David L. Dill

Keyword(s):

Automatic Verification ◽

Microprocessor Control

Download Full-text

Incremental model checking in the modal mu-calculus

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_67 ◽

1994 ◽

pp. 351-363 ◽

Cited By ~ 30

Author(s):

Oleg V. Sokolsky ◽

Scott A. Smolka

Keyword(s):

Model Checking ◽

Incremental Model

Download Full-text

Real-time system verification using P/T nets

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_40 ◽

1994 ◽

pp. 14-26 ◽

Cited By ~ 2

Author(s):

Roberto Gorrieri ◽

Glauco Siliprandi

Keyword(s):

Real Time ◽

Time System ◽

Real Time System ◽

System Verification

Download Full-text

A determinizable class of timed automata

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_39 ◽

1994 ◽

pp. 1-13 ◽

Cited By ~ 29

Author(s):

Rajeev Alur ◽

Limor Fix ◽

Thomas A. Henzinger

Keyword(s):

Timed Automata

Download Full-text

Automatic verification of timed circuits

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_76 ◽

1994 ◽

pp. 468-480 ◽

Cited By ~ 14

Author(s):

Tomas G. Rokicki ◽

Chris J. Myers

Keyword(s):

Automatic Verification ◽

Timed Circuits

Download Full-text

The verification problem for safe replaceability

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_64 ◽

1994 ◽

pp. 311-323 ◽

Cited By ~ 4

Author(s):

Vigyan Singhal ◽

Carl Pixley

Keyword(s):

Verification Problem

Download Full-text

Computer Aided Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

An automata-theoretic approach to branching-time model checking (Extended abstract)

Decidability of hybrid systems with rectangular differential inclusions

The mobility workbench — A tool for the π-Calculus

Performance improvement of state space exploration by regular & differential hashing functions

Automatic verification of pipelined microprocessor control

Incremental model checking in the modal mu-calculus

Real-time system verification using P/T nets

A determinizable class of timed automata

Automatic verification of timed circuits

The verification problem for safe replaceability

Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications