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

9783540330561, 9783540330578

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants

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

10.1007/11691372_11 ◽

2006 ◽

pp. 167-181 ◽

Cited By ~ 33

Author(s):

Pascal Fontaine ◽

Jean-Yves Marion ◽

Stephan Merz ◽

Leonor Prensa Nieto ◽

Alwen Tiu

Keyword(s):

Proof Assistants ◽

Interactive Proof ◽

Smt Solvers

Download Full-text

Weighted Pushdown Systems and Trust-Management Systems

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

10.1007/11691372_1 ◽

2006 ◽

pp. 1-26 ◽

Cited By ~ 6

Author(s):

Somesh Jha ◽

Stefan Schwoon ◽

Hao Wang ◽

Thomas Reps

Keyword(s):

Trust Management ◽

Management Systems

Download Full-text

Efficient Guided Symbolic Reachability Using Reachability Expressions

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

10.1007/11691372_8 ◽

2006 ◽

pp. 120-134 ◽

Cited By ~ 3

Author(s):

Dina Thomas ◽

Supratik Chakraborty ◽

Paritosh Pandya

Download Full-text

Exploration of the Capabilities of Constraint Programming for Software Verification

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

10.1007/11691372_12 ◽

2006 ◽

pp. 182-196 ◽

Cited By ~ 14

Author(s):

Hélène Collavizza ◽

Michel Rueher

Keyword(s):

Constraint Programming ◽

Software Verification

Download Full-text

Model-Checking Markov Chains in the Presence of Uncertainties

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

10.1007/11691372_26 ◽

2006 ◽

pp. 394-410 ◽

Cited By ~ 44

Author(s):

Koushik Sen ◽

Mahesh Viswanathan ◽

Gul Agha

Keyword(s):

Model Checking ◽

Markov Chains

Download Full-text

New Metrics for Static Variable Ordering in Decision Diagrams

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

10.1007/11691372_6 ◽

2006 ◽

pp. 90-104 ◽

Cited By ~ 15

Author(s):

Radu I. Siminiceanu ◽

Gianfranco Ciardo

Keyword(s):

Decision Diagrams ◽

Variable Ordering

Download Full-text

Parameterized Verification of π-Calculus Systems

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

10.1007/11691372_3 ◽

2006 ◽

pp. 42-57 ◽

Cited By ~ 5

Author(s):

Ping Yang ◽

Samik Basu ◽

C. R. Ramakrishnan

Keyword(s):

Parameterized Verification ◽

Π Calculus

Download Full-text

A Region Graph Based Approach to Termination Proofs

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

10.1007/11691372_21 ◽

2006 ◽

pp. 318-333 ◽

Cited By ~ 4

Author(s):

Stefan Leue ◽

Wei Wei

Keyword(s):

Termination Proofs

Download Full-text

Automata-Based Verification of Programs with Tree Updates

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

10.1007/11691372_23 ◽

2006 ◽

pp. 350-364 ◽

Cited By ~ 7

Author(s):

Peter Habermehl ◽

Radu Iosif ◽

Tomas Vojnar

Download Full-text

Simulation-Based Graph Similarity

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

10.1007/11691372_28 ◽

2006 ◽

pp. 426-440 ◽

Cited By ~ 30

Author(s):

Oleg Sokolsky ◽

Sampath Kannan ◽

Insup Lee

Keyword(s):

Graph Similarity ◽

Simulation Based

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

Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants

Weighted Pushdown Systems and Trust-Management Systems

Efficient Guided Symbolic Reachability Using Reachability Expressions

Exploration of the Capabilities of Constraint Programming for Software Verification

Model-Checking Markov Chains in the Presence of Uncertainties

New Metrics for Static Variable Ordering in Decision Diagrams

Parameterized Verification of π-Calculus Systems

A Region Graph Based Approach to Termination Proofs

Automata-Based Verification of Programs with Tree Updates

Simulation-Based Graph Similarity

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