Limit search to available items
Book Cover
E-book
Author International Workshop on Formal Methods for Industrial Critical Systems (16th : 2011 : Trento, Italy)

Title Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings / Gwen Salaün, Bernhard Schätz (eds.)
Published Berlin ; New York : Springer, ©2011

Copies

Description 1 online resource (x, 259 pages)
Series Lecture notes in computer science, 0302-9743 ; 6959
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 6959. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Machine generated contents note: Towards Trustworthy Aerospace Systems: An Experience Report / Joost-Pieter Katoen -- Satisfiability at Microsoft / Leonardo de Moura -- Lightweight Verification of a Multi-Task Threaded Server: A Case Study with the Plural Tool / Ijaz Ahmed -- Runtime Verification of Typical Requirements for a Space Critical SoC Platform / Vincent Lefftz -- Past Time LTL Runtime Verification for Microcontroller Binary Code / Stefan Kowalewski -- SAT-Based Approach for the Construction of Reusable Control System Components / Richard St-Denis -- Formal Safety Analysis in Industrial Practice / Stefan Milius -- Structural Test Coverage Criteria for Integration Testing of Lustre/Scade Programs / Ioannis Parissis -- Formal Analysis of a Triplex Sensor Voter in an Industrial Context / Michael Dierkes -- Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost / Lawrence Marinelli -- Symbolic Power Analysis of Cell Libraries / Mohammad Reza Mousavi -- Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models / Ingo Stierand -- Performability Measure Specification: Combining CSRL and MSL / Jeremy Sproston -- Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP / Wendelin Serwe -- Transforming SOS Specifications to Linear Processes / Sven Weber -- Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study / Christos Zamantzas -- Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy / Christel Baier -- Modeling and Verifying Timed Compensable Workflows and an Application to Health Care / Wendy MacCaull
Summary This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications
Bibliography Includes bibliographical references and author index
In Springer eBooks
Subject Formal methods (Computer science) -- Congresses
Software engineering -- Congresses
Computer programs -- Verification -- Congresses
Computer programs -- Reliability -- Congresses
Computer software -- Verification -- Congresses
Computer software -- Reliability -- Congresses
Informatique.
Computer programs -- Reliability
Computer programs -- Verification
Computer software -- Reliability
Computer software -- Verification
Formal methods (Computer science)
Software engineering
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Salaün, G. (Gwen)
Schätz, Bernhard
LC no. 2011936880
ISBN 9783642244315
3642244319
9783642244308
3642244300
Other Titles FMICS 2011