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

TOTAL DOCUMENTS

56
(FIVE YEARS 0)

H-INDEX

18
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540712084, 9783540712091
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Hoare Logic for Realistically Modelled Machine Code

2007 ◽  
pp. 568-582 ◽  
Author(s):  
Magnus O. Myreen ◽  
Michael J. C. Gordon
Keyword(s):  
Hoare Logic ◽  
Machine Code

scholarly journals Assume-Guarantee Synthesis

2007 ◽  
pp. 261-275 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Thomas A. Henzinger

scholarly journals Refining Interface Alphabets for Compositional Verification

2007 ◽  
pp. 292-307 ◽  
Author(s):  
Mihaela Gheorghiu ◽  
Dimitra Giannakopoulou ◽  
Corina S. Păsăreanu
Keyword(s):  
Compositional Verification

scholarly journals Shape Analysis by Graph Decomposition

2007 ◽  
pp. 3-18 ◽  
Author(s):  
R. Manevich ◽  
J. Berdine ◽  
B. Cook ◽  
G. Ramalingam ◽  
M. Sagiv
Keyword(s):  
Shape Analysis ◽  
Graph Decomposition

scholarly journals Searching for Shapes in Cryptographic Protocols

2007 ◽  
pp. 523-537 ◽  
Author(s):  
Shaddin F. Doghmi ◽  
Joshua D. Guttman ◽  
F. Javier Thayer
Keyword(s):  
Cryptographic Protocols

scholarly journals Generating Representation Invariants of Structurally Complex Data

2007 ◽  
pp. 34-49 ◽  
Author(s):  
Muhammad Zubair Malik ◽  
Aman Pervaiz ◽  
Sarfraz Khurshid
Keyword(s):  
Complex Data
Load More ...
Sign in / Sign up

Export Citation Format

Share Document