Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Printable view
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2294/2002
DOI10.1007/3-540-47813-2
Copyright2002
ISBN978-3-540-43631-7
Subject CollectionComputer Science
SpringerLink DateThursday, July 31, 2003
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
22 ChaptersFirst | 1-10 | 11-20 | 21-22 | Next
Front Matter

Front MatterPDF (77.2 KB)

  
Chapter
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode
Cinzia Bernardeschi and Nicoletta De Francesco
DOI: 10.1007/3-540-47813-2_1
Full TextPDF (220.4 KB)
 233-236
Chapter
Proofs Methods for Bisimulation Based Information Flow Security
Riccardo Focardi, Carla Piazza and Sabina Rossi
DOI: 10.1007/3-540-47813-2_2
Full TextPDF (271.1 KB)
 321-324
Chapter
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
Gilles Barthe, Guillaume Dufay, Line Jakubiec and Simão Melo de Sousa
DOI: 10.1007/3-540-47813-2_3
Full TextPDF (188.8 KB)
 325-328
Chapter
Analyzing Cryptographic Protocols in a Reactive Framework
R. K. Shyamasundar
DOI: 10.1007/3-540-47813-2_4
Full TextPDF (236.0 KB)
 333-336
Chapter
An Abstract Schema for Equivalence-Checking Games
Li Tan
DOI: 10.1007/3-540-47813-2_5
Full TextPDF (225.5 KB)
 257-260
Chapter
Synchronous Closing of Timed SDL Systems for Model Checking
Natalia Sidorova and Martin Steffen
DOI: 10.1007/3-540-47813-2_6
Full TextPDF (243.6 KB)
 229-232
Chapter
Automata-Theoretic Decision of Timed Games
Marco Faella, Salvatore La Torre and Aniello Murano
DOI: 10.1007/3-540-47813-2_7
Full TextPDF (226.9 KB)
 94-108
Chapter
Compositional Termination Analysis of Symbolic Forward Analysis
Witold Charatonik, Supratik Mukhopadhyay and Andreas Podelski
DOI: 10.1007/3-540-47813-2_8
Full TextPDF (251.0 KB)
 251-255
Chapter
Combining Norms to Prove Termination
Samir Genaim, Michael Codish, John Gallagher and Vitaly Lagoon
DOI: 10.1007/3-540-47813-2_9
Full TextPDF (198.0 KB)
 329-332
Chapter
Static Monotonicity Analysis for λ-definable Functions over Lattices
Andrzej S. Murawski and Kwangkeun Yi
DOI: 10.1007/3-540-47813-2_10
Full TextPDF (190.6 KB)
 261-264
Back Matter

Back MatterPDF (25.0 KB)

  
22 ChaptersFirst | 1-10 | 11-20 | 21-22 | Next
more options
Find


Starts With
22 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Author
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.109 • Server: mpweb01
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)