Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

45

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540236108, 9783540304760

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integrity-Enhanced Verification Scheme for Software-Intensive Organizations

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30476-0_33 ◽

2004 ◽

pp. 402-414

Author(s):

Wen-Kui Chang ◽

Chun-Yuan Chen

Keyword(s):

Verification Scheme ◽

Software Intensive

Download Full-text

Using Overlay Networks to Improve VoIP Reliability

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30476-0_32 ◽

2004 ◽

pp. 392-401 ◽

Author(s):

M. Karol ◽

P. Krishnan ◽

J. J. Li

Keyword(s):

Overlay Networks

Download Full-text

Toward Unbounded Model Checking for Region Automata

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30476-0_7 ◽

2004 ◽

pp. 20-33

Author(s):

Fang Yu ◽

Bow-Yaw Wang

Keyword(s):

Download Full-text

First-Order LTL Model Checking Using MDGs

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30476-0_36 ◽

2004 ◽

pp. 441-455 ◽

Author(s):

Fang Wang ◽

Sofiène Tahar ◽

Otmane Ait Mohamed

Keyword(s):

Model Checking ◽

First Order ◽

Ltl Model Checking

Download Full-text

Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30476-0_14 ◽

2004 ◽

pp. 120-134 ◽

Author(s):

Robi Malik ◽

David Streader ◽

Steve Reeves

Keyword(s):

Process Algebraic

Download Full-text

Design and Evaluation of a Symbolic and Abstraction-Based Model Checker

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30476-0_19 ◽

2004 ◽

pp. 196-210 ◽

Author(s):

Serge Haddad ◽

Jean-Michel Ilié ◽

Kais Klai

Keyword(s):

Download Full-text

Typeness for ω-Regular Automata

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30476-0_27 ◽

2004 ◽

pp. 324-338 ◽

Author(s):

Orna Kupferman ◽

Gila Morgenstern ◽

Aniello Murano

Download Full-text

Mutation Coverage Estimation for Model Checking

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30476-0_29 ◽

2004 ◽

pp. 354-368 ◽

Author(s):

Te-Chang Lee ◽

Pao-Ann Hsiung

Keyword(s):

Model Checking ◽

Coverage Estimation

Download Full-text

Exploiting Symmetries for Testing Equivalence in the Spi Calculus

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30476-0_15 ◽

2004 ◽

pp. 135-149 ◽

Author(s):

Ivan Cibrario B. ◽

Luca Durante ◽

Riccardo Sisto ◽

Adriano Valenzano

Keyword(s):

Testing Equivalence

Download Full-text

Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30476-0_13 ◽

2004 ◽

pp. 108-119

Author(s):

Atsushi Moritomo ◽

Kiyoharu Hamaguchi ◽

Toshinobu Kashiwabara

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order ◽

Boolean Formulas

Download Full-text