Model Checking Software [[electronic resource] ] : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings / / edited by Susanne Graf, Laurent Mounier |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 005.14 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN |
1-280-30719-6
9786610307197 3-540-24732-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- Formal Analysis of Processor Timing Models -- Heuristics and Probabilities -- Typical Structural Properties of State Spaces -- State Caching Reconsidered -- Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM -- Fast and Accurate Bitstate Verification for SPIN -- Improvements of SPIN -- Model-Driven Software Verification -- Minimization of Counterexamples in SPIN -- Validation of Timed Systems -- Black-Box Conformance Testing for Real-Time Systems -- Validation of UML Models via a Mapping to Communicating Extended Timed Automata -- Tool Papers -- Explicit State Model Checking with Hopper -- SEQ.OPEN: A Tool for Efficient Trace-Based Verification -- Model Checking Genetic Regulatory Networks Using GNA and CADP -- Abstraction and Symbolic Methods -- Verification of Java Programs Using Symbolic Execution and Invariant Generation -- Polynomial Time Image Computation with Interval-Definable Counters Systems -- Using Fairness to Make Abstractions Work -- A Scalable Incomplete Test for Message Buffer Overflow in Promela Models -- Applications -- Translation from Adapted UML to Promela for CORBA-Based Applications -- Verifying Commit-Atomicity Using Model-Checking -- Analysis of Distributed Spin Applied to Industrial-Scale Models -- Verification of MPI-Based Software for Scientific Computation -- Tutorials -- Advanced SPIN Tutorial -- IF Validation Environment Tutorial. |
Record Nr. | UNISA-996465569203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings / / edited by Susanne Graf, Laurent Mounier |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 005.14 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN |
1-280-30719-6
9786610307197 3-540-24732-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- Formal Analysis of Processor Timing Models -- Heuristics and Probabilities -- Typical Structural Properties of State Spaces -- State Caching Reconsidered -- Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM -- Fast and Accurate Bitstate Verification for SPIN -- Improvements of SPIN -- Model-Driven Software Verification -- Minimization of Counterexamples in SPIN -- Validation of Timed Systems -- Black-Box Conformance Testing for Real-Time Systems -- Validation of UML Models via a Mapping to Communicating Extended Timed Automata -- Tool Papers -- Explicit State Model Checking with Hopper -- SEQ.OPEN: A Tool for Efficient Trace-Based Verification -- Model Checking Genetic Regulatory Networks Using GNA and CADP -- Abstraction and Symbolic Methods -- Verification of Java Programs Using Symbolic Execution and Invariant Generation -- Polynomial Time Image Computation with Interval-Definable Counters Systems -- Using Fairness to Make Abstractions Work -- A Scalable Incomplete Test for Message Buffer Overflow in Promela Models -- Applications -- Translation from Adapted UML to Promela for CORBA-Based Applications -- Verifying Commit-Atomicity Using Model-Checking -- Analysis of Distributed Spin Applied to Industrial-Scale Models -- Verification of MPI-Based Software for Scientific Computation -- Tutorials -- Advanced SPIN Tutorial -- IF Validation Environment Tutorial. |
Record Nr. | UNINA-9910767578703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|