Articles liés à Verification, Model Checking, and Abstract Interpretation:...
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
