國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Integrated Formal Methods/ edited by Erika Ábrahám, Marieke Huisman.
其他題名:	12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
其他作者:	Ábrahám, Erika.
面頁冊數:	XIV, 538 p. 145 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-319-33693-0
ISBN:	9783319336930

Integrated Formal Methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
Integrated Formal Methods12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /[electronic resource] :edited by Erika Ábrahám, Marieke Huisman. - 1st ed. 2016. - XIV, 538 p. 145 illus.online resource. - Programming and Software Engineering ;9681. - Programming and Software Engineering ;8987.

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.

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. .

ISBN: 9783319336930

Standard No.: 10.1007/978-3-319-33693-0doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Integrated Formal Methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
LDR:04397nam a22004095i 4500 001 972150
003 DE-He213
005 20200702143332.0
007 cr nn 008mamaa
008 201211s2016 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
035 $a 978-3-319-33693-0
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
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.
250 $a 1st ed. 2016.
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 Programming and Software Engineering ; $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 Software engineering. $3 562952
650 0 $a Computer logic. $3 786340
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Ábrahám, Erika. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1267342
700 1 $a Huisman, Marieke. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1108810
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319336923
776 0 8 $i Printed edition: $z 9783319336947
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-319-33693-0
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)