Merkzettel Warenkorb
  • Produktbild: Model Checking Software
  • Produktbild: Model Checking Software
Band 2318

Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.03.2002

Herausgeber

Dragan Bosnacki + weitere

Verlag

Springer Berlin

Seitenzahl

262

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

423 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-43477-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.03.2002

Herausgeber

Verlag

Springer Berlin

Seitenzahl

262

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

423 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-43477-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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: Model Checking Software
  • Produktbild: Model Checking Software
  • Invited Talks.- SAT-Based Counterexample Guided Abstraction Refinement.- Abstract Interpretation: Theory and Practice.- Invited Tutorial.- SPIN Tutorial: How to Become a SPIN Doctor.- Tutorial.- Abstraction in Software Model Checking: Principles and Practice.- Software Model Checking.- Symmetry Reduction Criteria for Software Model Checking.- Bytecode Model Checking: An Experimental Analysis.- The Influence of Software Module Systems on Modular Verification.- Extending the Translation from SDL to Promela.- Algorithms and Theoretical Foundations.- Model Checking Knowledge and Time.- Partial Order Reduction in Directed Model Checking.- Local Parallel Model Checking for the Alternation-Free ?-Calculus.- Applications.- The Agreement Problem Protocol Verification Environment.- Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach.- Using SPIN to Verify Security Properties of Cryptographic Protocols.- Work in Progress.- Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN.- SPINning Parallel Systems Software.- Dynamic Bounds and Transition Merging for Local First Search.- Invited Industrial Presentations.- Comparing Symbolic and Explicit Model Checking of a Software System.- Industrial Model Checking Based on Satisfiability Solvers.- A Typical Testing Problem: Validating WML Cellphones.- Model Checking Tools.- Heuristic Model Checking for Java Programs.- System Specification and Verification Using High Level Concepts — A Tool Demonstration.- Demonstration of an Automated Integrated Test Environment for Web-Based Applications.- ?SPIN: Extending SPIN with Abstraction.