Vor Ort
Merkzettel Warenkorb
  • Produktbild: Verification, Model Checking, and Abstract Interpretation
  • Produktbild: Verification, Model Checking, and Abstract Interpretation
Band 2575

Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.12.2002

Abbildungen

XII, 328 p.

Herausgeber

Lenore D. Zuck + weitere

Verlag

Springer Berlin

Seitenzahl

328

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-00348-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.12.2002

Abbildungen

XII, 328 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

328

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-00348-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Verification, Model Checking, and Abstract Interpretation
  • Produktbild: Verification, Model Checking, and Abstract Interpretation
  • 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.