Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. (2016)

• Record Type: Book
• Other Titles: IFM 2016
• Further Information: Note: Erika Ábrahám, Marieke Huisman (eds.).
• Editors: Ábrahám, Erika; Huisman, Marieke
• Other Names: International Conference on Integrated Formal Methods, 12th
• Contents: Invited Contributions -- Can Formal Methods Improve the Efficiency of Code Reviews.-Symbolic Computation and Automated Reasoning for Program Analysis -- Program verification -- On Type Checking Delta-Oriented Product Lines -- Verifying a priority scheduler for an SCJ runtime environment -- Why Just Boogie? Translating Between Intermediate Verification Languages -- Probabilistic systems -- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata -- Probabilistic Formal Analysis of App Usage to Inform Redesign -- Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC -- Concurrency -- Monitoring Multi-threaded Component-Based Systems -- A Generalised Theory of Interface Automata, Component Compatibility and Error -- On Implementing a Monitor-Oriented Programming Framework for Actor Systems -- Towards a Thread-Local Proof Technique for Starvation Freedom -- Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems -- A Formal Model of the Safety-Critical Java Level 2 Paradigm -- Safety and liveness -- Deciding Monadic Second Order Logic over omega-words by Specialized Finite Automata -- Property Preservation for Extension Patterns of State Transition Diagrams -- Symbolic Reachability Analysis of B through ProB and LTSmin -- Model learning -- Enhancing Automata Learning by Log-Based Metrics -- Refactoring of Legacy Software using Model Learning and Equivalence Checking: an Industrial Experience Report -- On Robust Malware Classifiers by Verifying Unwanted Behaviours -- SAT and SMT solving -- Efficient Deadlock-Freedom Checking using Local Analysis and SAT Solving -- SMT Solvers for Validation of B and Event-B models -- Avoiding Medication Conflicts for Patients with Multimorbidities -- Testing -- Temporal Random Testing for Spark Streaming -- Combining Static Analysis and Testing for Deadlock Detection -- Fuzzing JavaScript Engine APIs -- Theorem proving and constraint satisfaction -- A Component-based Approach to Hybrid Systems Safety Verification -- Verifying Pointer Programs using Separation Logic and Invariant Based Programming in Isabelle -- A Constraint Satisfaction Method for Configuring Non-Local Service Interfaces -- Case studies -- Rule-based Consistency Checking of Railway Infrastructure Designs -- Formal Verification of Safety PLC Based Control Software -- Enabling Static Driver Verifier using Microsoft Azure.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xiv, 538 pages), illustrations
• Subjects: 004.01/51; Computer science; Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Formal methods (Computer science); Software engineering; Computers -- Programming -- General; Computers -- Programming Languages -- General; Mathematics -- Logic; Computer programming / software development; Programming & scripting languages: general; Mathematical theory of computation; Software engineering; Logic design; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319336930; 3319336932; 3319336924; 9783319336923
• Related ISBNs: 9783319336923; 3319336924
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed June 6, 2016).
• 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.