Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540212997, 9783540247302

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tampere Verification Tool

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_12 ◽

2004 ◽

pp. 153-157 ◽

Cited By ~ 4

Author(s):

Heikki Virtanen ◽

Henri Hansen ◽

Antti Valmari ◽

Juha Nieminen ◽

Timo Erkkilä

Keyword(s):

Verification Tool

Download Full-text

The Succinct Solver Suite

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_21 ◽

2004 ◽

pp. 251-265 ◽

Cited By ~ 13

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson ◽

Hongyan Sun ◽

Mikael Buchholtz ◽

René Rydhof Hansen ◽

...

Download Full-text

Applying Game Semantics to Compositional Software Modeling and Verification

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_32 ◽

2004 ◽

pp. 421-435 ◽

Cited By ~ 32

Author(s):

Samson Abramsky ◽

Dan R. Ghica ◽

Andrzej S. Murawski ◽

C. -H. Luke Ong

Keyword(s):

Software Modeling ◽

Game Semantics ◽

Compositional Software

Download Full-text

Resource-Optimal Scheduling Using Priced Timed Automata

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_19 ◽

2004 ◽

pp. 220-235 ◽

Cited By ~ 23

Author(s):

J. I. Rasmussen ◽

Kim G. Larsen ◽

K. Subramani

Keyword(s):

Timed Automata ◽

Optimal Scheduling

Download Full-text

MetaGame: An Animation Tool for Model-Checking Games

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_14 ◽

2004 ◽

pp. 163-167 ◽

Cited By ~ 7

Author(s):

Markus Müller-Olm ◽

Haiseung Yoo

Keyword(s):

Model Checking

Download Full-text

Monotonic Abstraction-Refinement for CTL

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_40 ◽

2004 ◽

pp. 546-560 ◽

Cited By ~ 37

Author(s):

Sharon Shoham ◽

Orna Grumberg

Keyword(s):

Abstraction Refinement

Download Full-text

From Complementation to Certification

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_43 ◽

2004 ◽

pp. 591-606 ◽

Cited By ~ 10

Author(s):

Orna Kupferman ◽

Moshe Y. Vardi

Download Full-text

Checking Strong Specifications Using an Extensible Software Model Checking Framework

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_31 ◽

2004 ◽

pp. 404-420 ◽

Cited By ~ 12

Author(s):

Robby ◽

Edwin Rodríguez ◽

Matthew B. Dwyer ◽

John Hatcliff

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model ◽

Extensible Software

Download Full-text

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_39 ◽

2004 ◽

pp. 530-545 ◽

Cited By ~ 50

Author(s):

G. Yorsh ◽

Thomas Reps ◽

Mooly Sagiv

Keyword(s):

Shape Analysis

Download Full-text

A Temporal Logic of Nested Calls and Returns

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_35 ◽

2004 ◽

pp. 467-481 ◽

Cited By ~ 87

Author(s):

Rajeev Alur ◽

Kousha Etessami ◽

P. Madhusudan

Keyword(s):

Temporal Logic

Download Full-text

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Tampere Verification Tool

The Succinct Solver Suite

Applying Game Semantics to Compositional Software Modeling and Verification

Resource-Optimal Scheduling Using Priced Timed Automata

MetaGame: An Animation Tool for Model-Checking Games

Monotonic Abstraction-Refinement for CTL

From Complementation to Certification

Checking Strong Specifications Using an Extensible Software Model Checking Framework

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

A Temporal Logic of Nested Calls and Returns

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications