Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal Methods for Industrial Critical Systems [[electronic resource] ] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings / / edited by María Alpuente, Byron Cook, Christophe Joubert
| Formal Methods for Industrial Critical Systems [[electronic resource] ] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings / / edited by María Alpuente, Byron Cook, Christophe Joubert |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 213 p.) |
| Disciplina | 005.131 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Special purpose computers Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems |
| ISBN | 3-642-04570-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Attacking Large Industrial Code with Bi-abductive Inference -- On a Uniform Framework for the Definition of Stochastic Process Languages -- Applying a Formal Method in Industry: A 15-Year Trajectory -- What’s in Common between Test, Model Checking, and Decision Procedures? -- Contributed Papers -- Verifying Cryptographic Software Correctness with Respect to Reference Implementations -- Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software -- Dynamic State Space Partitioning for External Memory Model Checking -- Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle -- Modeling Concurrent Systems with Shared Resources -- Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs -- Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models -- Preemption Abstraction -- A Rigorous Methodology for Composing Services -- A Certified Implementation on Top of the Java Virtual Machine -- Selected Posters -- Formal Development for Railway Signaling Using Commercial Tools -- Integrated Formal Approach for Qualified Critical Embedded Code Generator -- Visualising Event-B Models with B-Motion Studio -- Behavioural Analysis of an I2C Linux Driver -- Model-Based Testing of Electronic Passports -- Developing a Decision Support Tool for Dam Management with SPIN. |
| Record Nr. | UNISA-996466305203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods for industrial critical systems / / volume editors, Maria Alpuente, Byron Cooker, Christophe Joubert
| Formal methods for industrial critical systems / / volume editors, Maria Alpuente, Byron Cooker, Christophe Joubert |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; London, : Springer, c2009 |
| Descrizione fisica | 1 online resource (X, 213 p.) |
| Disciplina | 005.131 |
| Altri autori (Persone) |
AlpuenteMaria
CookByron JoubertChristophe |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer programs - Verification
Formal methods (Computer science) Software engineering |
| ISBN | 3-642-04570-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Attacking Large Industrial Code with Bi-abductive Inference -- On a Uniform Framework for the Definition of Stochastic Process Languages -- Applying a Formal Method in Industry: A 15-Year Trajectory -- What’s in Common between Test, Model Checking, and Decision Procedures? -- Contributed Papers -- Verifying Cryptographic Software Correctness with Respect to Reference Implementations -- Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software -- Dynamic State Space Partitioning for External Memory Model Checking -- Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle -- Modeling Concurrent Systems with Shared Resources -- Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs -- Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models -- Preemption Abstraction -- A Rigorous Methodology for Composing Services -- A Certified Implementation on Top of the Java Virtual Machine -- Selected Posters -- Formal Development for Railway Signaling Using Commercial Tools -- Integrated Formal Approach for Qualified Critical Embedded Code Generator -- Visualising Event-B Models with B-Motion Studio -- Behavioural Analysis of an I2C Linux Driver -- Model-Based Testing of Electronic Passports -- Developing a Decision Support Tool for Dam Management with SPIN. |
| Record Nr. | UNINA-9910484030903321 |
| Berlin ; ; London, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||