Lecture Notes in Computer Science - Verification: Theory and Practice
Latest Publications

TOTAL DOCUMENTS

33

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540210023, 9783540399100

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems

Lecture Notes in Computer Science - Verification: Theory and Practice ◽

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

2003 ◽

pp. 161-181

Author(s):

Manfred Broy

Keyword(s):

Functional Calculus ◽

Interactive Systems ◽

Specification And Verification

Download Full-text

Fair Equivalence Relations

Lecture Notes in Computer Science - Verification: Theory and Practice ◽

10.1007/978-3-540-39910-0_30 ◽

2003 ◽

pp. 702-732

Author(s):

Orna Kupferman ◽

Nir Piterman ◽

Moshe Y. Vardi

Keyword(s):

Equivalence Relations

Download Full-text

Binary Extensions of S1S and the Composition Method

Lecture Notes in Computer Science - Verification: Theory and Practice ◽

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

2003 ◽

pp. 626-644

Author(s):

Enrico Marzano ◽

Angelo Montanari ◽

Alberto Policriti

Keyword(s):

Composition Method

Download Full-text

Colimits for Concurrent Collectors

Lecture Notes in Computer Science - Verification: Theory and Practice ◽

10.1007/978-3-540-39910-0_25 ◽

2003 ◽

pp. 568-597 ◽

Author(s):

Dusko Pavlovic ◽

Peter Pepper ◽

Doug Smith

Download Full-text

Bounded Fairness

Lecture Notes in Computer Science - Verification: Theory and Practice ◽

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

2003 ◽

pp. 304-317 ◽

Author(s):

Nachum Dershowitz ◽

D. N. Jayasimha ◽

Seungjoon Park

Download Full-text

Game Models for Open Systems

Lecture Notes in Computer Science - Verification: Theory and Practice ◽

10.1007/978-3-540-39910-0_12 ◽

2003 ◽

pp. 269-289 ◽

Author(s):

Luca de Alfaro

Keyword(s):

Download Full-text

Digital Algebra and Circuits

Lecture Notes in Computer Science - Verification: Theory and Practice ◽

10.1007/978-3-540-39910-0_31 ◽

2003 ◽

pp. 733-746 ◽

Author(s):

Jean Vuillemin

Download Full-text

Easy Intruder Deductions

Lecture Notes in Computer Science - Verification: Theory and Practice ◽

10.1007/978-3-540-39910-0_10 ◽

2003 ◽

pp. 225-242 ◽

Author(s):

Hubert Comon-Lundh ◽

Ralf Treinen

Download Full-text

Verification by Abstract Interpretation

Lecture Notes in Computer Science - Verification: Theory and Practice ◽

10.1007/978-3-540-39910-0_11 ◽

2003 ◽

pp. 243-268 ◽

Author(s):

Patrick Cousot

Keyword(s):

Abstract Interpretation

Download Full-text

Formal Analysis of Hierarchical State Machines

Lecture Notes in Computer Science - Verification: Theory and Practice ◽

10.1007/978-3-540-39910-0_3 ◽

2003 ◽

pp. 42-66 ◽

Author(s):

Rajeev Alur

Keyword(s):

Formal Analysis ◽

State Machines ◽

Hierarchical State Machines

Download Full-text