Vor Ort
Merkzettel Warenkorb
  • Produktbild: Model Checking Software
  • Produktbild: Model Checking Software
Band 4595

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.06.2007

Abbildungen

X, 285 p.

Herausgeber

Dragan Bosnacki + weitere

Verlag

Springer Berlin

Seitenzahl

285

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

458 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-73369-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.06.2007

Abbildungen

X, 285 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

285

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

458 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-73369-0

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

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
  • StackSnuffer: Curing Orion’s Unsoundness.- Tutorial: Parallel Model Checking.- Local Abstraction-Refinement for the mu-Calculus.- Minimal Counterexample Generation for SPIN.- Generating Counter-Examples Through Randomized Guided Search.- Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.- Some Solutions to the Ignoring Problem.- Cartesian Partial-Order Reduction.- On-the-Fly Dynamic Dead Variable Analysis.- SAT-Based Summarization for Boolean Programs.- LTL Satisfiability Checking.- An Embeddable Virtual Machine for State Space Generation.- Scalable Multi-core LTL Model-Checking.- A SystemC/TLM Semantics in Promela and Its Possible Applications.- Towards Model Checking Spatial Properties with SPIN.- Model Extraction for ARINC 653 Based Avionics Software.- BEEM: Benchmarks for Explicit Model Checkers.- C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.- ACSAR: Software Model Checking with Transfinite Refinement.- Instrumenting C Programs with Nested Word Monitors.