Verification, model checking, and abstract interpretation : Third International Workshop, VMCAI 2002 Venice, Italy, January 21 22, 2002 : revised papers
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
2003.
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science
2294 |
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
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, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised papers, Agostino Cortesi (ed.), Berlin, Springer, 2002, 1 vol. (VIII-330 p.), Lecture notes in computer science, 3-540-43631-6 • Verification, Model Checking, and Abstract Interpretation, Texte imprimé, 9783540829720 |
| LEADER | 03974nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 948719 | ||
| 008 | 110927q2003 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15518380X | ||
| 020 | |a 9783540478133 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Verification, Model Checking, and Abstract Interpretation |n (03 |d :2002 |c :Venise). | |
| 245 | 1 | 0 | |a Verification, model checking, and abstract interpretation : |b Third International Workshop, VMCAI 2002 Venice, Italy, January 21 22, 2002 : revised papers |c [edited by] Agostino Cortesi. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c 2003. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2294 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Security and Protocols -- Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode -- Proofs Methods for Bisimulation Based Information Flow Security -- A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines -- Analyzing Cryptographic Protocols in a Reactive Framework -- Timed Systems and Games -- An Abstract Schema for Equivalence-Checking Games -- Synchronous Closing of Timed SDL Systems for Model Checking -- Automata-Theoretic Decision of Timed Games -- Static Analysis -- Compositional Termination Analysis of Symbolic Forward Analysis -- Combining Norms to Prove Termination -- Static Monotonicity Analysis for ?-definable Functions over Lattices -- A Refinement of the Escape Property -- Optimizations -- Storage Size Reduction by In-place Mapping of Arrays -- Verifying BDD Algorithms through Monadic Interpretation -- Improving the Encoding of LTL Model Checking into SAT -- Types and Verification -- Automatic Verification of Probabilistic Free Choice -- An Experiment in Type Inference and Verification by Abstract Interpretation -- Weak Muller Acceptance Conditions for Tree Automata -- A Fully Abstract Model for Higher-Order Mobile Ambients -- Temporal Logics and Systems -- A Simulation Preorder for Abstraction of Reactive Systems -- Approximating ATL* in ATL -- Model Checking Modal Transition Systems Using Kripke Structures -- Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Logiciels |x Vérification | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Cortesi, Agostino, |d 1963- |4 edt | |
| 776 | 0 | |0 069145644 |t Verification, model checking, and abstract interpretation |o Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 |o Revised papers |f Agostino Cortesi (ed.) |c Berlin |n Springer |d 2002 |p 1 vol. (VIII-330 p.) |s Lecture notes in computer science |z 3-540-43631-6 | |
| 776 | 0 | |t Verification, Model Checking, and Abstract Interpretation |b Texte imprimé |z 9783540829720 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-47813-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-F1WDRJZ9-D |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748058702 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-47813-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751510149 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-47813-2 |z Accès INSA CVL | |
| 997 | |0 948719 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||