Willkommen, schön sind Sie da!
Logo Ex Libris

Model Checking Software

  • Kartonierter Einband
  • 300 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fo... Weiterlesen
20%
100.00 CHF 80.00
Sie sparen CHF 20.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.



Presents the refereed proceedings of the 14th International SPIN workshop on Model Checking Software

Provides an excellent overview of the latest findings, technological developments, and applications in the field

Features fourteen full papers, four tool presentation papers, and the abstracts of two invited talks



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

Produktinformationen

Titel: Model Checking Software
Untertitel: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
Editor:
EAN: 9783540733690
ISBN: 3540733698
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 300
Gewicht: 458g
Größe: H235mm x B155mm x T16mm
Jahr: 2007
Auflage: 2007

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"