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

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540330561, 9783540330578
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

2006 ◽  
pp. 167-181 ◽  
Author(s):  
Pascal Fontaine ◽  
Jean-Yves Marion ◽  
Stephan Merz ◽  
Leonor Prensa Nieto ◽  
Alwen Tiu
Keyword(s):  
Proof Assistants ◽  
Interactive Proof ◽  
Smt Solvers

scholarly journals Weighted Pushdown Systems and Trust-Management Systems

2006 ◽  
pp. 1-26 ◽  
Author(s):  
Somesh Jha ◽  
Stefan Schwoon ◽  
Hao Wang ◽  
Thomas Reps
Keyword(s):  
Trust Management ◽  
Management Systems

scholarly journals Efficient Guided Symbolic Reachability Using Reachability Expressions

2006 ◽  
pp. 120-134 ◽  
Author(s):  
Dina Thomas ◽  
Supratik Chakraborty ◽  
Paritosh Pandya

scholarly journals Model-Checking Markov Chains in the Presence of Uncertainties

2006 ◽  
pp. 394-410 ◽  
Author(s):  
Koushik Sen ◽  
Mahesh Viswanathan ◽  
Gul Agha
Keyword(s):  
Model Checking ◽  
Markov Chains

scholarly journals Parameterized Verification of π-Calculus Systems

2006 ◽  
pp. 42-57 ◽  
Author(s):  
Ping Yang ◽  
Samik Basu ◽  
C. R. Ramakrishnan
Keyword(s):  
Parameterized Verification ◽  
Π Calculus

scholarly journals Automata-Based Verification of Programs with Tree Updates

2006 ◽  
pp. 350-364 ◽  
Author(s):  
Peter Habermehl ◽  
Radu Iosif ◽  
Tomas Vojnar

scholarly journals Simulation-Based Graph Similarity

2006 ◽  
pp. 426-440 ◽  
Author(s):  
Oleg Sokolsky ◽  
Sampath Kannan ◽  
Insup Lee
Keyword(s):  
Graph Similarity ◽  
Simulation Based
Load More ...
Sign in / Sign up

Export Citation Format

Share Document