國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Integrated formal methods14th Intern...

(1998 :)

Integrated formal methods14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Integrated formal methodsedited by Carlo A. Furia, Kirsten Winter.
其他題名:	14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings /
其他題名:	IFM 2018
其他作者:	Furia, Carlo A.
團體作者:
出版者:	Cham :Springer International Publishing :2018.
面頁冊數:	xvi, 420 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Formal methods (Computer science)
電子資源:	http://dx.doi.org/10.1007/978-3-319-98938-9
ISBN:	9783319989389$q(electronic bk.)

Integrated formal methods14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings /
Integrated formal methods14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings /[electronic resource] :IFM 2018edited by Carlo A. Furia, Kirsten Winter. - Cham :Springer International Publishing :2018. - xvi, 420 p. :ill., digital ;24 cm. - Lecture notes in computer science,110230302-9743 ;. - Lecture notes in computer science ;4891..

Dynamic Symbolic Execution for Software Analysis -- Integrating Formal Methods for Modeling and Simulation of Swarm Robotics -- Program Correctness Under Weak Memory Consistency -- On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders -- Reasoning About JML: Differences Between KeY and OpenJML -- Design and Verification of Restart-robust Industrial Control Software -- Efficiently Characterizing the Undefined Requests of a Rule-Based System -- Study of Integrating Random and Symbolic Testing for Object-Oriented Software -- Making Linearizability Compositional for Partially Ordered Executions -- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA -- A Precise Pictorial Language for Array Invariants -- Robotics and Integrated Formal Methods: Necessity Meets Opportunity -- Formal Modeling of Software Defined Networking -- Resource-Aware Virtually Timed Ambients -- Stateful Behavioral Types for Active Objects -- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC -- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions -- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin -- Towards A Formal Notion of Impact Metric for Cyber-physical Attacks -- Task Planning with OMT: An Application to Production Logistics -- Branching Temporal Logic of Calls and Returns for Pushdown Systems -- Repair and Generation of Formal Models Using Synthesis -- Mode-aware Concolic Testing for PLC Software -- Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions -- Analysing AWN-specifications Using mCRL2.

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.

ISBN: 9783319989389$q(electronic bk.)

Standard No.: 10.1007/978-3-319-98938-9doiSubjects--Topical Terms:

277520
Formal methods (Computer science)

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

Integrated formal methods14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings /
LDR:03306nmm a2200337 a 4500 001 543721
003 DE-He213
005 20180808171101.0
006 m d
007 cr nn 008maaau
008 190430s2018 gw s 0 eng d
020 $a 9783319989389$q(electronic bk.)
020 $a 9783319989372$q(paper)
024 7 $a 10.1007/978-3-319-98938-9 $2 doi
035 $a 978-3-319-98938-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.F67 $b I61 2018
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Integrated formal methods $h [electronic resource] : $b 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings / $c edited by Carlo A. Furia, Kirsten Winter.
246 3 $a IFM 2018
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a xvi, 420 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11023
505 0 $a Dynamic Symbolic Execution for Software Analysis -- Integrating Formal Methods for Modeling and Simulation of Swarm Robotics -- Program Correctness Under Weak Memory Consistency -- On the Industrial Uptake of Formal Methods in the Railway Domain: A Survey with Stakeholders -- Reasoning About JML: Differences Between KeY and OpenJML -- Design and Verification of Restart-robust Industrial Control Software -- Efficiently Characterizing the Undefined Requests of a Rule-Based System -- Study of Integrating Random and Symbolic Testing for Object-Oriented Software -- Making Linearizability Compositional for Partially Ordered Executions -- Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA -- A Precise Pictorial Language for Array Invariants -- Robotics and Integrated Formal Methods: Necessity Meets Opportunity -- Formal Modeling of Software Defined Networking -- Resource-Aware Virtually Timed Ambients -- Stateful Behavioral Types for Active Objects -- Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC -- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions -- State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin -- Towards A Formal Notion of Impact Metric for Cyber-physical Attacks -- Task Planning with OMT: An Application to Production Logistics -- Branching Temporal Logic of Calls and Returns for Pushdown Systems -- Repair and Generation of Formal Models Using Synthesis -- Mode-aware Concolic Testing for PLC Software -- Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions -- Analysing AWN-specifications Using mCRL2.
520 $a This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.
650 0 $a Formal methods (Computer science) $3 277520
650 0 $a System design $v Congresses. $3 438566
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 252959
650 2 4 $a Simulation and Modeling. $3 273719
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
700 1 $a Furia, Carlo A. $3 563397
700 1 $a Winter, Kirsten. $3 821997
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-98938-9
950 $a Computer Science (Springer-11645)