Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings / / edited by Dragan Bosnacki, Stefan Edelkamp
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings / / edited by Dragan Bosnacki, Stefan Edelkamp
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Edizione: | 1st ed. 2007. |
| Descrizione fisica: | 1 online resource (X, 285 p.) |
| Disciplina: | 005.1/4 |
| Soggetto topico: | Software engineering |
| Compilers (Computer programs) | |
| Computer science | |
| Software Engineering | |
| Compilers and Interpreters | |
| Computer Science Logic and Foundations of Programming | |
| Persona (resp. second.): | BošnačkiDragan <1963-> |
| EdelkampStefan | |
| Note generali: | "Collocated with CAV 2007, the 19th Computer-Aided Verification Conference"-- Pref. |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Model Checking Software |
| ISBN: | 3-540-73370-1 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910484349603321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 4595