Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

41

(FIVE YEARS 0)

H-INDEX

20

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540405245, 9783540450696

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Calculating τ-Confluence Compositionally

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45069-6_41 ◽

2003 ◽

pp. 446-459 ◽

Author(s):

Gordon J. Pace ◽

Frédéric Lang ◽

Radu Mateescu

Download Full-text

A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45069-6_28 ◽

2003 ◽

pp. 275-287 ◽

Author(s):

Sharon Shoham ◽

Orna Grumberg

Keyword(s):

Abstraction Refinement

Download Full-text

A Work-Efficient Distributed Algorithm for Reachability Analysis

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45069-6_5 ◽

2003 ◽

pp. 54-66 ◽

Author(s):

Orna Grumberg ◽

Tamir Heyman ◽

Assaf Schuster

Keyword(s):

Distributed Algorithm ◽

Reachability Analysis

Download Full-text

Bounded Model Checking and Induction: From Refutation to Verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45069-6_2 ◽

2003 ◽

pp. 14-26 ◽

Author(s):

Leonardo de Moura ◽

Harald Rueß ◽

Maria Sorea

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

Monitoring Temporal Rules Combined with Time Series

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45069-6_11 ◽

2003 ◽

pp. 114-117 ◽

Author(s):

Doron Drusinsky

Keyword(s):

Download Full-text

Enhanced Vacuity Detection in Linear Temporal Logic

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45069-6_35 ◽

2003 ◽

pp. 368-380 ◽

Author(s):

Roy Armoni ◽

Limor Fix ◽

Alon Flaisher ◽

Orna Grumberg ◽

Nir Piterman ◽

...

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic

Download Full-text

Model Checking Conformance with Scenario-Based Specifications

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45069-6_32 ◽

2003 ◽

pp. 328-340 ◽

Author(s):

Marcelo Glusman ◽

Shmuel Katz

Keyword(s):

Download Full-text

TLQSolver: A Temporal Logic Query Checker

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45069-6_21 ◽

2003 ◽

pp. 210-214 ◽

Author(s):

Marsha Chechik ◽

Arie Gurfinkel

Keyword(s):

Download Full-text

Fast Mu-Calculus Model Checking when Tree-Width Is Bounded

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45069-6_7 ◽

2003 ◽

pp. 80-92 ◽

Author(s):

Jan Obdržálek

Keyword(s):

Model Checking ◽

Download Full-text

HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45069-6_23 ◽

2003 ◽

pp. 219-222 ◽

Author(s):

Liana Bozga ◽

Yassine Lakhnech ◽

Michaël Périn

Keyword(s):

Security Protocols ◽

Download Full-text