大葉大學圖書館 |

Model checking software[electronic resource] :23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.14
書名/作者:	Model checking software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings // edited by Dragan Bosnacki, Anton Wijs.
其他題名:	SPIN 2016
其他作者:	Bosnacki, Dragan.
團體作者:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2016.
面頁冊數:	xvi, 245 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Programming Languages, Compilers, Interpreters.
標題:	Logics and Meanings of Programs.
標題:	Mathematical Logic and Formal Languages.
標題:	Computer software - Congresses. - Verification
標題:	Software engineering
標題:	Computer software - Congresses. - Testing
標題:	Computer Science.
標題:	Software Engineering.
ISBN:	9783319325828
ISBN:	9783319325811
內容註:	Automated Analysis of Asynchronously Communicating Systems -- Symbolic Game Semantics for Model Checking Program Families -- Compositional Semantics and Analysis of Hierarchical Block Diagrams -- Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing -- River Basin Management with SPIN -- ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications -- Autonomous Agent Behaviour Modelled in PRISM -- Certication for -Calculus with Winning Strategies -- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization -- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems -- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking -- smid: A Black-Box Program Driver -- On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators -- SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration -- A Tool Integrating Model Checking into a C Verification Toolset -- Fair Testing and Stubborn Sets.
摘要、提要註:	This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.
電子資源:	http://dx.doi.org/10.1007/978-3-319-32582-8

Model checking software[electronic resource] :23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
Model checking software23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /[electronic resource] :SPIN 2016edited by Dragan Bosnacki, Anton Wijs. - Cham :Springer International Publishing :2016. - xvi, 245 p. :ill., digital ;24 cm. - Lecture notes in computer science,96410302-9743 ;. - Lecture notes in computer science ;7103..

Automated Analysis of Asynchronously Communicating Systems -- Symbolic Game Semantics for Model Checking Program Families -- Compositional Semantics and Analysis of Hierarchical Block Diagrams -- Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing -- River Basin Management with SPIN -- ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications -- Autonomous Agent Behaviour Modelled in PRISM -- Certication for -Calculus with Winning Strategies -- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization -- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems -- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking -- smid: A Black-Box Program Driver -- On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators -- SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration -- A Tool Integrating Model Checking into a C Verification Toolset -- Fair Testing and Stubborn Sets.

This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.

ISBN: 9783319325828

Standard No.: 10.1007/978-3-319-32582-8doiSubjects--Uniform Titles:

SPIN (Computer file)
--Congresses.Subjects--Topical Terms:

466913
Programming Languages, Compilers, Interpreters.

LC Class. No.: QA76.76.V47

Dewey Class. No.: 005.14

Model checking software[electronic resource] :23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
LDR:02794nam a2200349 a 4500 001 447123
003 DE-He213
005 20161004144950.0
006 m d
007 cr nn 008maaau
008 161201s2016 gw s 0 eng d
020 $a 9783319325828 $q (electronic bk.)
020 $a 9783319325811 $q (paper)
024 7 $a 10.1007/978-3-319-32582-8 $2 doi
035 $a 978-3-319-32582-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.V47
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
082 0 4 $a 005.14 $2 23
090 $a QA76.76.V47 $b I61 2016
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Model checking software $h [electronic resource] : $b 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings / $c edited by Dragan Bosnacki, Anton Wijs.
246 3 $a SPIN 2016
246 3 $a ETAPS 2016
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a xvi, 245 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9641
505 0 $a Automated Analysis of Asynchronously Communicating Systems -- Symbolic Game Semantics for Model Checking Program Families -- Compositional Semantics and Analysis of Hierarchical Block Diagrams -- Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing -- River Basin Management with SPIN -- ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications -- Autonomous Agent Behaviour Modelled in PRISM -- Certication for -Calculus with Winning Strategies -- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization -- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems -- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking -- smid: A Black-Box Program Driver -- On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators -- SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration -- A Tool Integrating Model Checking into a C Verification Toolset -- Fair Testing and Stubborn Sets.
520 $a This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.
630 0 0 $a SPIN (Computer file) $v Congresses. $3 634033
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 466913
650 2 4 $a Logics and Meanings of Programs. $3 466905
650 2 4 $a Mathematical Logic and Formal Languages. $3 463478
650 0 $a Computer software $x Verification $v Congresses. $3 466241
650 0 $a Software engineering $3 135422
650 0 $a Computer software $x Testing $v Congresses. $3 470592
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Software Engineering. $3 464601
700 1 $a Bosnacki, Dragan. $3 640437
700 1 $a Wijs, Anton. $3 640438
710 2 $a SpringerLink (Online service) $3 463450
711 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 7103. $3 466200
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-32582-8
950 $a Computer Science (Springer-11645)