Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / Erika Ábrahám, Marieke Huisman (eds.).
"This bookconstitutes the refereed proceedings of the 12th International Conference on Integrated Formal 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 sect...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Ebook |
| Language: | English |
| Published: |
Switzerland :
Springer,
2016.
|
| Series: | Lecture notes in computer science ;
9681. LNCS sublibrary. Programming and software engineering |
| Subjects: | |
| Online Access: | Springer eBooks |
MARC
| LEADER | 00000czm a2200000 i 4500 | ||
|---|---|---|---|
| 003 | OCoLC | ||
| 005 | 20231012155420.0 | ||
| 006 | m o d | ||
| 007 | cr cnu000|uu|| | ||
| 008 | 160606s2016 sz a o 101 0 eng d | ||
| 011 | |a BIB MATCHES WORLDCAT | ||
| 011 | |a EDS Title: Integrated Formal Methods | ||
| 011 | |a MARC Score : 10850(21950) : OK | ||
| 011 | |a Direct Search Result | ||
| 011 | |a Has 211 WorldCat Holdings | ||
| 020 | |z 3319336924 |q print | ||
| 020 | |z 9783319336923 |q print | ||
| 020 | |a 3319336932 |q Internet | ||
| 020 | |a 9783319336930 |q Internet | ||
| 035 | |a (ATU)b19437407 | ||
| 035 | |a (OCoLC)951214410 | ||
| 035 | |a (EDS)EDS10690496 | ||
| 040 | |a GW5XE |b eng |e rda |c GW5XE |d OCLCO |d YDXCP |d AZU |d OCLCF |d KSU |d ATU | ||
| 050 | 4 | |a QA76.9.F67 |b I58 2016eb | |
| 082 | 0 | 4 | |a 004.0151 |2 23 |
| 111 | 2 | |a International Conference on Integrated Formal Methods |n (12th : |d 2016 : |c Reykjavík, Iceland) |9 494034 | |
| 245 | 1 | 0 | |a Integrated formal methods : |b 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / |c Erika Ábrahám, Marieke Huisman (eds.). |
| 246 | 3 | |a IFM 2016 | |
| 264 | 1 | |a Switzerland : |b Springer, |c 2016. | |
| 300 | |a 1 online resource (xiv, 538 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 9681 | |
| 490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering | |
| 500 | |a International conference proceedings. | ||
| 500 | |a Includes author index. | ||
| 505 | 0 | 0 | |t Invited Contributions: -- |t Can Formal Methods Improve the Efficiency of Code Reviews? / |r Martin Hentschel, Reiner Hähnle, Richard Bubel -- |t Symbolic Computation and Automated Reasoning for Program Analysis / |r Laura Kovács -- |t Perspectives of Model Transformation Reuse / |r Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber -- |t Program Verification: -- |t On Type Checking Delta-Oriented Product Lines / |r Ferruccio Damiani, Michael Lienhardt -- |t Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment / |r Leo Freitas, James Baxter, Ana Cavalcanti, Andy Wellings -- |t Why Just Boogie? / |r Michael Ameri, Carlo A. Furia -- |t Probabilistic Systems: -- |t Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata / |r Pedro R. D’Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards -- |t Probabilistic Formal Analysis of App Usage to Inform Redesign / |r Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost -- |t Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC / |r Ľuboš Korenčiak, Vojtěch Řehák, Adrian Farmadin -- |t Concurrency: -- |t Monitoring Multi-threaded Component-Based Systems / |r Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz -- |t A Generalised Theory of Interface Automata, Component Compatibility and Error / |r Sascha Fendrich, Gerald Lüttgen -- |t On Implementing a Monitor-Oriented Programming Framework for Actor Systems / |r Ian Cassar, Adrian Francalanza -- |t Towards a Thread-Local Proof Technique for Starvation Freedom / |r Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim -- |t Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems / |r Olaf Owe -- |t A Formal Model of the Safety-Critical Java Level 2 Paradigm / |r Matt Luckcuck, Ana Cavalcanti, Andy Wellings -- |t Deciding Monadic Second Order Logic over <span class="mathjax-tex">\(\omega \)</span>-Words by Specialized Finite Automata / |r Stephan Barth -- |t Property Preservation for Extension Patterns of State Transition Diagrams / |r Christian Prehofer -- |t Symbolic Reachability Analysis of B Through ProB and LTSmin / |r Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne et al. -- |t Model Learning: -- |t Enhancing Automata Learning by Log-Based Metrics / |r Petra van den Bos, Rick Smetsers, Frits Vaandrager -- |t Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report / |r Mathijs Schuts, Jozef Hooman, Frits Vaandrager -- |t On Robust Malware Classifiers by Verifying Unwanted Behaviours / |r Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik -- |t SAT and SMT Solving: -- |t Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving / |r Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe -- |t SMT Solvers for Validation of B and Event-B Models / |r Sebastian Krings, Michael Leuschel -- |t Avoiding Medication Conflicts for Patients with Multimorbidities / |r Andrii Kovalov, Juliana Küster Filipe Bowles -- |t Testing: -- |t Temporal Random Testing for Spark Streaming / |r Adrián Riesco, Juan Rodríguez-Hortalá -- |t Combining Static Analysis and Testing for Deadlock Detection / |r Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel -- |t Fuzzing JavaScript Engine APIs / |r Renáta Hodován, Ákos Kiss -- |t Theorem Proving and Constraint Satisfaction: -- |t A Component-Based Approach to Hybrid Systems Safety Verification / |r Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer -- |t Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle / |r Viorel Preoteasa -- |t A Constraint Satisfaction Method for Configuring Non-local Service Interfaces / |r Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko -- |t Rule-Based Consistency Checking of Railway Infrastructure Designs / |r Bjørnar Luteberget, Christian Johansen, Martin Steffen -- |t Formal Verification of Safety PLC Based Control Software / |r Dániel Darvas, István Majzik, Enrique Blanco Viñuela -- |t CloudSDV Enabling Static Driver Verifier Using Microsoft Azure / |r Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal. |
| 520 | |a "This bookconstitutes the refereed proceedings of the 12th International Conference on Integrated Formal 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. "--Publisher's website. | ||
| 538 | |a Mode of access: World Wide Web. | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed June 6, 2016). | |
| 650 | 0 | |a Formal methods (Computer science) |v Congresses. |9 557605 | |
| 650 | 0 | |a Software engineering |v Congresses. |9 759716 | |
| 700 | 1 | |a Ábrahám, Erika, |e editor. |9 1229760 | |
| 700 | 1 | |a Huisman, Marieke, |e editor. |9 858938 | |
| 830 | 0 | |a Lecture notes in computer science ; |v 9681. |x 0302-9743. |9 291610 | |
| 830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering |9 253358 | |
| 856 | 4 | 0 | |u https://ezproxy.aut.ac.nz/login?url=https://link.springer.com/10.1007/978-3-319-33693-0 |z Springer eBooks |x TEMPORARY ERM URL |
| 907 | |a .b19437407 |b 06-09-21 |c 04-11-16 | ||
| 942 | |c EB | ||
| 998 | |a none |b 23-06-17 |c m |d z |e - |f eng |g sz |h 0 | ||
| 999 | |c 1366806 |d 1366806 | ||