國立虎尾科技大學 |

Model checking software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Model checking software/ edited by Maria del Mar Gallardo, Pedro Merino.
其他題名:	25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings /
其他題名:	SPIN 2018
其他作者:	Gallardo, Maria del Mar.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer International Publishing : : 2018.,
面頁冊數:	xvi, 347 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Computer software - Congresses. - Verification -
電子資源:	http://dx.doi.org/10.1007/978-3-319-94111-0
ISBN:	9783319941110

Model checking software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings /
Model checking software25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings /[electronic resource] :SPIN 2018edited by Maria del Mar Gallardo, Pedro Merino. - Cham :Springer International Publishing :2018. - xvi, 347 p. :ill., digital ;24 cm. - Lecture notes in computer science,108690302-9743 ;. - Lecture notes in computer science ;6140..

Formal verification techniques for automated analysis of software -- Formal analysis for modeling languages, such as UML/state charts -- Formal specification languages, temporal logic, design-by-contract -- Model checking -- Automated theorem proving, including SAT and SMT -- Verifying compilers -- Abstraction and symbolic execution techniques.

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

ISBN: 9783319941110

Standard No.: 10.1007/978-3-319-94111-0doiSubjects--Uniform Titles:

SPIN (Computer file)
Subjects--Topical Terms:

675265
Computer software
--Verification--Congresses.

LC Class. No.: QA76.76.V47

Dewey Class. No.: 005.14

Model checking software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings /
LDR:02114nam a2200337 a 4500 001 926998
003 DE-He213
005 20180615201426.0
006 m d
007 cr nn 008maaau
008 190626s2018 gw s 0 eng d
020 $a 9783319941110 $q (electronic bk.)
020 $a 9783319941103 $q (paper)
024 7 $a 10.1007/978-3-319-94111-0 $2 doi
035 $a 978-3-319-94111-0
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 2018
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Model checking software $h [electronic resource] : $b 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings / $c edited by Maria del Mar Gallardo, Pedro Merino.
246 3 $a SPIN 2018
260 $a Cham : $c 2018. $b Springer International Publishing : $b Imprint: Springer,
300 $a xvi, 347 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10869
505 0 $a Formal verification techniques for automated analysis of software -- Formal analysis for modeling languages, such as UML/state charts -- Formal specification languages, temporal logic, design-by-contract -- Model checking -- Automated theorem proving, including SAT and SMT -- Verifying compilers -- Abstraction and symbolic execution techniques.
520 $a This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
630 0 0 $a SPIN (Computer file) $3 679943
650 0 $a Computer software $x Verification $v Congresses. $3 675265 $3 727805
650 0 $a Software engineering $v Congresses. $3 528500
650 0 $a Computer software $x Testing $v Congresses. $3 674778 $3 727845
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Simulation and Modeling. $3 669249
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Logics and Meanings of Programs. $3 670058
700 1 $a Gallardo, Maria del Mar. $3 1205951
700 1 $a Merino, Pedro. $3 680487
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-94111-0
950 $a Computer Science (Springer-11645)