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

9783540614746, 9783540685999

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated deduction and formal methods

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-61474-5_67 ◽

1996 ◽

pp. 169-183 ◽

Cited By ~ 9

Author(s):

John Rushby

Keyword(s):

Formal Methods ◽

Automated Deduction

Download Full-text

A platform for combining deductive with algorithmic verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-61474-5_68 ◽

1996 ◽

pp. 184-195 ◽

Cited By ~ 44

Author(s):

Amir Pnueli ◽

Elad Shahar

Download Full-text

Deductive model checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-61474-5_70 ◽

1996 ◽

pp. 208-219 ◽

Cited By ~ 25

Author(s):

Henny B. Sipma ◽

Tomás E. Uribe ◽

Zohar Manna

Keyword(s):

Model Checking

Download Full-text

Polynomial time algorithms for testing probabilistic bisimulation and simulation

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-61474-5_57 ◽

1996 ◽

pp. 50-61 ◽

Cited By ~ 14

Author(s):

Christel Baier

Keyword(s):

Polynomial Time ◽

Polynomial Time Algorithms

Download Full-text

EVP: Integration of FDTs for the analysis and verification of communication protocols

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-61474-5_90 ◽

1996 ◽

pp. 406-410

Author(s):

P. Merino ◽

J. M. Troya

Keyword(s):

Communication Protocols

Download Full-text

Verification of arithmetic circuits by comparing two similar circuits

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-61474-5_66 ◽

1996 ◽

pp. 159-168 ◽

Cited By ~ 15

Author(s):

Masahiro Fujita

Keyword(s):

Arithmetic Circuits

Download Full-text

CADP a protocol validation and verification toolbox

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-61474-5_97 ◽

1996 ◽

pp. 437-440 ◽

Cited By ~ 117

Author(s):

Jean -Claude Fernandez ◽

Hubert Garavel ◽

Alain Kerbrat ◽

Laurent Mounier ◽

Radu Mateescu ◽

...

Keyword(s):

Validation And Verification ◽

Protocol Validation

Download Full-text

Verifying safety properties of differential equations

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-61474-5_76 ◽

1996 ◽

pp. 277-287 ◽

Cited By ~ 20

Author(s):

Mark R. Greenstreet

Keyword(s):

Differential Equations ◽

Safety Properties

Download Full-text

Saving space by fully exploiting invisible transitions

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-61474-5_81 ◽

1996 ◽

pp. 336-347 ◽

Cited By ~ 4

Author(s):

Hillel Miller ◽

Shmuel Katz

Download Full-text

Marrella: A tool for simulation and verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-61474-5_102 ◽

1996 ◽

pp. 458-461

Author(s):

Dominique Ambroise ◽

Brigitte Rozoy

Download Full-text

Computer Aided Verification - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automated deduction and formal methods

A platform for combining deductive with algorithmic verification

Deductive model checking

Polynomial time algorithms for testing probabilistic bisimulation and simulation

EVP: Integration of FDTs for the analysis and verification of communication protocols

Verification of arithmetic circuits by comparing two similar circuits

CADP a protocol validation and verification toolbox

Verifying safety properties of differential equations

Saving space by fully exploiting invisible transitions

Marrella: A tool for simulation and verification

Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications