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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642047602, 9783642047619

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets

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

10.1007/978-3-642-04761-9_7 ◽

2009 ◽

pp. 84-89 ◽

Cited By ~ 12

Author(s):

Joakim Byg ◽

Kenneth Yrke Jørgensen ◽

Jiří Srba

Keyword(s):

Petri Nets

Download Full-text

A Data Symmetry Reduction Technique for Temporal-epistemic Logic

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

10.1007/978-3-642-04761-9_6 ◽

2009 ◽

pp. 69-83 ◽

Cited By ~ 8

Author(s):

Mika Cohen ◽

Mads Dam ◽

Alessio Lomuscio ◽

Hongyang Qu

Keyword(s):

Epistemic Logic ◽

Symmetry Reduction ◽

Reduction Technique

Download Full-text

Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation

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

10.1007/978-3-642-04761-9_27 ◽

2009 ◽

pp. 368-381 ◽

Cited By ~ 14

Author(s):

Yang Zhao ◽

Gianfranco Ciardo

Keyword(s):

Model Checking ◽

Asynchronous Systems

Download Full-text

Memory Usage Verification Using Hip/Sleek

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

10.1007/978-3-642-04761-9_14 ◽

2009 ◽

pp. 166-181 ◽

Cited By ~ 5

Author(s):

Guanhua He ◽

Shengchao Qin ◽

Chenguang Luo ◽

Wei-Ngan Chin

Keyword(s):

Memory Usage

Download Full-text

Dynamic Observers for the Synthesis of Opaque Systems

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

10.1007/978-3-642-04761-9_26 ◽

2009 ◽

pp. 352-367 ◽

Cited By ~ 23

Author(s):

Franck Cassez ◽

Jérémy Dubreil ◽

Hervé Marchand

Download Full-text

A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement

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

10.1007/978-3-642-04761-9_21 ◽

2009 ◽

pp. 271-288 ◽

Cited By ~ 6

Author(s):

Yael Meller ◽

Orna Grumberg ◽

Sharon Shoham

Keyword(s):

Compositional Verification ◽

Abstraction Refinement

Download Full-text

CLAN: A Tool for Contract Analysis and Conflict Discovery

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

10.1007/978-3-642-04761-9_8 ◽

2009 ◽

pp. 90-96 ◽

Cited By ~ 12

Author(s):

Stephen Fenech ◽

Gordon J. Pace ◽

Gerardo Schneider

Download Full-text

UnitCheck: Unit Testing and Model Checking Combined

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

10.1007/978-3-642-04761-9_9 ◽

2009 ◽

pp. 97-103 ◽

Cited By ~ 3

Author(s):

Michal Kebrt ◽

Ondřej Šerý

Keyword(s):

Model Checking ◽

Unit Testing

Download Full-text

Automated Analysis of Data-Dependent Programs with Dynamic Memory

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

10.1007/978-3-642-04761-9_16 ◽

2009 ◽

pp. 197-212 ◽

Cited By ~ 7

Author(s):

Parosh Aziz Abdulla ◽

Muhsin Atto ◽

Jonathan Cederberg ◽

Ran Ji

Keyword(s):

Automated Analysis ◽

Dynamic Memory

Download Full-text

3-Valued Abstraction for (Bounded) Model Checking

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

10.1007/978-3-642-04761-9_2 ◽

2009 ◽

pp. 21-21 ◽

Cited By ~ 1

Author(s):

Orna Grumberg

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets

A Data Symmetry Reduction Technique for Temporal-epistemic Logic

Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation

Memory Usage Verification Using Hip/Sleek

Dynamic Observers for the Synthesis of Opaque Systems

A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement

CLAN: A Tool for Contract Analysis and Conflict Discovery

UnitCheck: Unit Testing and Model Checking Combined

Automated Analysis of Data-Dependent Programs with Dynamic Memory

3-Valued Abstraction for (Bounded) Model Checking

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