Formal Methods for Industrial Critical Systems  19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /  [electronic resource] : 
edited by Frédéric Lang, Francesco Flammini. 
 - Cham :  Springer International Publishing,  2014. 
 - 1 online resource (XIV, 201 p. 84 ill.) 
 - Lecture Notes in Computer Science,  8718  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783319107028 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Special purpose computers.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.