Integrated Formal Methods -

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Buch | Softcover
XIV, 538 Seiten
2016 | 1st ed. 2016
Springer International Publishing (Verlag)
978-3-319-33692-3 (ISBN)
85,59 inkl. MwSt

This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.
The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections named: invitedcontributions; program verification; probabilistic systems; concurrency; safetyand liveness; model learning; SAT and SMT solving; testing; theorem proving andconstraint satisfaction; case studies. 

Invited Contributions.- Can Formal MethodsImprove the Efficiency of Code Reviews.-Symbolic Computation and AutomatedReasoning for Program Analysis.- Program verification.- On Type CheckingDelta-Oriented Product Lines.- Verifying a priority scheduler for an SCJruntime environment.- Why Just Boogie? Translating Between Intermediate VerificationLanguages.- Probabilistic systems.- Statistical Approximation of OptimalSchedulers for Probabilistic Timed Automata.- Probabilistic Formal Analysis ofApp Usage to Inform Redesign.- Extension of PRISM by Synthesis of OptimalTimeouts in Fixed-Delay CTMC.- Concurrency.- Monitoring Multi-threaded Component-BasedSystems.- A Generalised Theory of Interface Automata, Component Compatibility andError.- On Implementing a Monitor-Oriented Programming Framework for ActorSystems.- Towards a Thread-Local Proof Technique for Starvation Freedom.- Reasoningabout Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems.-A Formal Model of the Safety-Critical Java Level 2 Paradigm.- Safety andliveness.- Deciding Monadic Second Order Logic over omega-words by Specialized FiniteAutomata.- Property Preservation for Extension Patterns of State TransitionDiagrams.- Symbolic Reachability Analysis of B through ProB and LTSmin.- Modellearning.- Enhancing Automata Learning by Log-Based Metrics.- Refactoring ofLegacy Software using Model Learning and Equivalence Checking: an IndustrialExperience Report.- On Robust Malware Classifiers by Verifying UnwantedBehaviours.- SAT and SMT solving.- Efficient Deadlock-Freedom Checking usingLocal Analysis and SAT Solving.- SMT Solvers for Validation of B and Event-Bmodels.- Avoiding Medication Conflicts for Patients with Multimorbidities.- Testing.-Temporal Random Testing for Spark Streaming.- Combining Static Analysis andTesting for Deadlock Detection.- Fuzzing JavaScript Engine APIs.- Theoremproving and constraint satisfaction.- A Component-based Approach to HybridSystemsSafety Verification.- Verifying Pointer Programs using Separation Logicand Invariant Based Programming in Isabelle.- A Constraint Satisfaction Methodfor Configuring Non-Local Service Interfaces.- Case studies.- Rule-basedConsistency Checking of Railway Infrastructure Designs.- Formal Verification ofSafety PLC Based Control Software.- Enabling Static Driver Verifier usingMicrosoft Azure.

Erscheinungsdatum
Reihe/Serie Lecture Notes in Computer Science
Programming and Software Engineering
Zusatzinfo XIV, 538 p. 145 illus.
Verlagsort Cham
Sprache englisch
Maße 155 x 235 mm
Themenwelt Mathematik / Informatik Informatik Software Entwicklung
Informatik Theorie / Studium Compilerbau
Schlagworte abstractions and refinement • Applications • Component-Based Systems • Computer Science • conference proceedings • Decision Procedures • formal methods • Formal Modelling • Hybrid Systems • Informatics • Model Checking • Monitoring • Performance Evaluation • Program Synthesis • Program verification • Research • Runtime Analysis • SAT solving • Semantics • semi-formal modelling • SMT solving • Software engineering • Software Verification • Static Analysis
ISBN-10 3-319-33692-4 / 3319336924
ISBN-13 978-3-319-33692-3 / 9783319336923
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen und Anwendungen

von Hanspeter Mössenböck

Buch | Softcover (2024)
dpunkt (Verlag)
29,90
a beginner's guide to learning llvm compiler tools and core …

von Kai Nacke

Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
49,85