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

9783540253334, 9783540319801

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

jMoped: A Java Bytecode Checker Based on Moped

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

10.1007/978-3-540-31980-1_35 ◽

2005 ◽

pp. 541-545 ◽

Cited By ~ 17

Author(s):

Dejvuth Suwimonteerabuth ◽

Stefan Schwoon ◽

Javier Esparza

Keyword(s):

Java Bytecode

Download Full-text

Simulation-Based Iteration of Tree Transducers

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

10.1007/978-3-540-31980-1_3 ◽

2005 ◽

pp. 30-44 ◽

Cited By ~ 12

Author(s):

Parosh Aziz Abdulla ◽

Axel Legay ◽

Julien d’Orso ◽

Ahmed Rezine

Keyword(s):

Simulation Based ◽

Tree Transducers

Download Full-text

Algorithmic Verification of Recursive Probabilistic State Machines

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

10.1007/978-3-540-31980-1_17 ◽

2005 ◽

pp. 253-270 ◽

Cited By ~ 31

Author(s):

Kousha Etessami ◽

Mihalis Yannakakis

Keyword(s):

State Machines

Download Full-text

Temporal Logic for Scenario-Based Specifications

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

10.1007/978-3-540-31980-1_29 ◽

2005 ◽

pp. 445-460 ◽

Cited By ~ 40

Author(s):

Hillel Kugler ◽

David Harel ◽

Amir Pnueli ◽

Yuan Lu ◽

Yves Bontemps

Keyword(s):

Temporal Logic

Download Full-text

Empirically Efficient Verification for a Class of Infinite-State Systems

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

10.1007/978-3-540-31980-1_6 ◽

2005 ◽

pp. 77-92 ◽

Cited By ~ 11

Author(s):

Jesse Bingham ◽

Alan J. Hu

Keyword(s):

Infinite State Systems ◽

Efficient Verification ◽

Infinite State

Download Full-text

jETI: A Tool for Remote Tool Integration

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

10.1007/978-3-540-31980-1_38 ◽

2005 ◽

pp. 557-562 ◽

Cited By ~ 37

Author(s):

Tiziana Margaria ◽

Ralf Nagel ◽

Bernhard Steffen

Keyword(s):

Tool Integration

Download Full-text

Shortest Counterexamples for Symbolic Model Checking of LTL with Past

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

10.1007/978-3-540-31980-1_32 ◽

2005 ◽

pp. 493-509 ◽

Cited By ~ 21

Author(s):

Viktor Schuppan ◽

Armin Biere

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP

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

10.1007/978-3-540-31980-1_37 ◽

2005 ◽

pp. 551-556 ◽

Cited By ~ 10

Author(s):

Fabrice Bouquet ◽

Frédéric Dadeau ◽

Bruno Legeard ◽

Mark Utting

Keyword(s):

Testing Tools

Download Full-text

A Note on On-the-Fly Verification Algorithms

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

10.1007/978-3-540-31980-1_12 ◽

2005 ◽

pp. 174-190 ◽

Cited By ~ 63

Author(s):

Stefan Schwoon ◽

Javier Esparza

Keyword(s):

Verification Algorithms

Download Full-text

Bounded Validity Checking of Interval Duration Logic

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

10.1007/978-3-540-31980-1_20 ◽

2005 ◽

pp. 301-316 ◽

Cited By ~ 13

Author(s):

Babita Sharma ◽

Paritosh. K. Pandya ◽

Supratik Chakraborty

Keyword(s):

Interval Duration

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

jMoped: A Java Bytecode Checker Based on Moped

Simulation-Based Iteration of Tree Transducers

Algorithmic Verification of Recursive Probabilistic State Machines

Temporal Logic for Scenario-Based Specifications

Empirically Efficient Verification for a Class of Infinite-State Systems

jETI: A Tool for Remote Tool Integration

Shortest Counterexamples for Symbolic Model Checking of LTL with Past

JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP

A Note on On-the-Fly Verification Algorithms

Bounded Validity Checking of Interval Duration Logic

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