Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sectio...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Ábrahám, Erika (Επιμελητής έκδοσης), Huisman, Marieke (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
Σειρά:Lecture Notes in Computer Science, 9681
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 04893nam a22005295i 4500
001 978-3-319-33693-0
003 DE-He213
005 20160523070932.0
007 cr nn 008mamaa
008 160523s2016 gw | s |||| 0|eng d
020 |a 9783319336930  |9 978-3-319-33693-0 
024 7 |a 10.1007/978-3-319-33693-0  |2 doi 
040 |d GrThAP 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Integrated Formal Methods  |h [electronic resource] :  |b 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /  |c edited by Erika Ábrahám, Marieke Huisman. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2016. 
300 |a XIV, 538 p. 145 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 9681 
505 0 |a 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. 
520 |a This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and liveness; model learning; SAT and SMT solving; testing; theorem proving and constraint satisfaction; case studies. . 
650 0 |a Computer science. 
650 0 |a Software engineering. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Computer logic. 
650 0 |a Mathematical logic. 
650 1 4 |a Computer Science. 
650 2 4 |a Software Engineering. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Mathematical Logic and Formal Languages. 
700 1 |a Ábrahám, Erika.  |e editor. 
700 1 |a Huisman, Marieke.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783319336923 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 9681 
856 4 0 |u http://dx.doi.org/10.1007/978-3-319-33693-0  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)