Cantitate/Preț
Produs

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings: Lecture Notes in Computer Science, cartea 4595

Editat de Dragan Bosnacki, Stefan Edelkamp
en Limba Engleză Paperback – 21 iun 2007

Din seria Lecture Notes in Computer Science

Preț: 31697 lei

Preț vechi: 39622 lei
-20% Nou

Puncte Express: 475

Preț estimativ în valută:
6070 6565$ 5058£

Carte tipărită la comandă

Livrare economică 11-25 decembrie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540733690
ISBN-10: 3540733698
Pagini: 300
Ilustrații: X, 285 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.48 kg
Ediția:2007
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.