Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. (2018)

• Record Type: Book
• Other Titles: FMICS 2018
• Further Information: Note: Falk Howar, Jiří Barnat (eds.).
• Editors: Howar, Falk; Barnat, Jiří
• Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 23rd
• Contents: Generative Model Driven Design for Agile System Design and Evolution: a Tale of Two Worlds.- Building Correct Cyber-Physical Systems: Why we need a Multiview Contract Theory.- Automated Functional Safety Analysis of Automated Driving Systems.- Safety Interlocking as a Distributed Mutual Exclusion Problem.- Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL.- Formal Verification of a Programmable Hypersurface - Work in progress.- Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset.- Progress Checking for Dummies.- Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker.- Active Mining of Document Type Definitions.- Adaptive Learning for Learn-based regression testing.- Predicate Abstraction and Such....- Compositional Verification in Action.- A Note on Refinement in Hierarchical Transition Systems.- M3C: Modal Meta Model Checking.- Wholly!: A Build System For The Modern Software Stack.- A Modeling Language for Security Threats of IoT Systems.- Revisiting bounded reachability analysis of timed automata based on MILP.- Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools.- The Quest for Optimality in Stateless Model Checking of Concurrent Programs.- The cause-effect latency problem in real-time systems.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xvi, 291 pages), illustrations
• Subjects: 004.01/51; Computer science; Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computer programs -- Verification -- Congresses; Computer programs -- Reliability -- Congresses; Computer software -- Verification -- Congresses; Computer software -- Reliability -- Congresses; Computers -- Software Development & Engineering -- General; Computers -- Computer Science; Computers -- Computer Simulation; Computers -- General; Computers -- Hardware -- General; Software Engineering; Computer science; 3D graphics & modelling; Information technology: general issues; Computer networking & communications; Software engineering; Information theory; Computer simulation; Computer industry; Computer network architectures; Computers -- Programming Languages -- General; Programming & scripting languages: general; Electronic books
• Languages: English
• ISBNs: 9783030002442; 3030002446
• Related ISBNs: 9783030002435
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed September 7, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.