Formal Methods for Industrial Critical Systems [electronic resource] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings / edited by Frédéric Lang, Francesco Flammini.

Formal Verification of Steady-State Errors in Unity-Feedback Control Systems -- Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface -- Analysis of Real-Time Properties of a Digital Hydraulic Power Management System -- Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip -- Formal Specification and Verification of TCP Extended with the Window Scale Option -- Learning Fragments of the TCP Network Protocol -- On the Validation of an Interlocking System by Model-Checking -- Deadlock Avoidance in Train Scheduling: A Model Checking Approach -- An Open Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements -- Test Specification Patterns for Automatic Generation of Test Sequences -- Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation.