default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSVV@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
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.
last updated on 2024-10-31 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
