Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38

(FIVE YEARS 0)

H-INDEX

16

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540581796, 9783540484691

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

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 ◽

Author(s):

Oleg V. Sokolsky ◽

Scott A. Smolka

Keyword(s):

Model Checking ◽

Incremental Model

Download Full-text

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 ◽

Author(s):

Orna Bernholtz ◽

Moshe Y. Vardi ◽

Pierre Wolper

Keyword(s):

Model Checking ◽

Theoretic Approach ◽

Branching Time ◽

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 ◽

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 ◽

Author(s):

Björn Victor ◽

Faron Moller

Keyword(s):

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 ◽

Author(s):

Bernard Cousin ◽

Jean-michel Hélary

Keyword(s):

State Space ◽

Performance Improvement ◽

Space Exploration ◽

State Space Exploration

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 ◽

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 ◽

Author(s):

Rajeev Alur ◽

Limor Fix ◽

Thomas A. Henzinger

Keyword(s):

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 ◽

Author(s):

Vigyan Singhal ◽

Carl Pixley

Keyword(s):

Verification Problem

Download Full-text

On the automatic computation of network invariants

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-58179-0_58 ◽

1994 ◽

pp. 234-246 ◽

Author(s):

Felice Balarin ◽

Alberto L. Sangiovanni-Vincentelli

Keyword(s):

Automatic Computation

Download Full-text