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

Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.04.2002

Abbildungen

VIII, 331 p.

Herausgeber

Agostino Cortesi

Verlag

Springer Berlin

Seitenzahl

331

Maße (L/B/H)

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

Gewicht

528 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-43631-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.04.2002

Abbildungen

VIII, 331 p.

Herausgeber

Agostino Cortesi

Verlag

Springer Berlin

Seitenzahl

331

Maße (L/B/H)

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

Gewicht

528 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-43631-7

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
  • 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.