![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
SVV@ICLP 2003: Mumbai, India
- Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury:
Proceedings of the International Workshop on Software Verification and Validation, SVV@ICLP 2003, Mumbai, India, December 14, 2003. Electronic Notes in Theoretical Computer Science 118, Elsevier 2005 - Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury
:
Preface. 1- - Therese Berg, Bengt Jonsson, Martin Leucker
, Mayank Saksena:
Insights to Angluin's Learning. 3-18 - Benjamin Aziz, Geoff W. Hamilton
, David Gray:
A Denotational Approach to the Static Analysis of Cryptographic Processes. 19-36 - Girish Keshav Palshikar, Purandar Bhaduri
:
Verification of Scenario-based Specifications using Templates. 37-55 - Stefania Gnesi
, Gabriele Lenzini, Fabio Martinelli:
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. 57-70 - Matti Luukkainen, Vivek K. Shanbhag, K. Gopinath:
Verifying a UMTS Protocol Using Spin and EASN. 71-85 - Qian Wang, Gopal Gupta:
Provably Correct Code Generation: A Case Study. 87-109 - Naijun Zhan:
Compositional Properties of Sequential Processes. 111-128 - Ricardo Corin, Sandro Etalle, Pieter H. Hartel
, Antonio Durante:
A Trace Logic for Local Security Properties. 129-143 - Thomas Noll
:
Equational Abstractions for Model Checking Erlang Programs. 145-162
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.