Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9 11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities Veri?cation, Model Checking...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2575 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Verification, model checking, and abstract interpretation, 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, proceedings, Lenore D. Zuck ... [et al.], Berlin, Springer, 2003, 1 vol. (XI-323 p.), Lecture notes in computer science, 3-540-00348-7 • Verification, Model Checking, and Abstract Interpretation, Texte imprimé, 9783662169674 |
Taula de continguts:
- Invited Talks
- Software Model Checking with Abstraction Refinement
- Model-Checking and Abstraction to the Aid of Parameterized Systems
- Invited Tutorials
- Behavior-Based Model Construction
- Automatic Verification by Abstract Interpretation
- Symmetry Reductions in Model-Checking
- Static Analysis
- CHASE:A Static Checker for JML s Assignable Clause
- Abstract Interpretation-Based Certification of Assembly Code
- Property Checking Driven Abstract Interpretation-Based Static Analysis
- Optimized Live Heap Bound Analysis
- Dynamic Systems
- Complexity of Nesting Analysis in Mobile Ambients
- Types for Evolving Communication in Safe Ambients
- A Logical Encoding of the ?-Calculus: Model Checking Mobile Processes Using Tabled Resolution
- Abstract Interpretation
- Properties of a Type Abstract Interpreter
- Domain Compression for Complete Abstractions
- Abstraction of Expectation Functions Using Gaussian Distributions
- Model Checking I
- Lifting Temporal Proofs through Abstractions
- Efficient Verification of Timed Automata with BDD-Like Data-Structures
- On the Expressiveness of 3-Valued Models
- Security Protocols
- Bisimulation and Unwinding for Verifying Possibilistic Security Properties
- Formal Verification of the Horn-Preneel Micropayment Protocol
- Formal Methods
- Action Refinement from a Logical Point of View
- Reasoning about Layered Message Passing Systems
- Using Simulated Execution in Verifying Distributed Algorithms
- Model Checking II
- Efficient Computation of Recurrence Diameters
- Shape Analysis through Predicate Abstraction and Model Checking.