Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings

Paperback(2012)

$54.99
Choose Expedited Shipping at checkout for guaranteed delivery by Thursday, March 28

Product Details

ISBN-13: 9783642324680
Publisher: Springer Berlin Heidelberg
Publication date: 07/17/2012
Series: Lecture Notes in Computer Science , #7437
Edition description: 2012
Pages: 223
Product dimensions: 6.10(w) x 9.25(h) x 0.20(d)

Table of Contents

Real-Time Specification Patterns and Tools.- Automated Extraction of Abstract Behavioural Models from JMS Applications.- Certifying and Reasoning on Cost Annotations in C Programs.-Waiting for Locks: How Long Does It Usually Take?.- Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.-Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.- Range Analysis of Binaries with Minimal Effort.- Combining Analyses for C Program Verification.- Model Checking the FlexRay Startup Phase.- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations.- Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.-Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems.- A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java.- Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews