Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/647
Full metadata record
DC FieldValueLanguage
dc.contributor.authorGallardo, Marea del Mar. ;en_US
dc.contributor.authorMerino, Pedro. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:20:00Z-
dc.date.available2020-05-17T08:20:00Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319941110 ;en_US
dc.identifier.isbn9783319941103 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/647-
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionPrinted edition: ; 9783319941103. ;en_US
dc.description005.1 ; 23 ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis 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. . ;en_US
dc.description.statementofresponsibilityedited by Marea del Mar Gallardo, Pedro Merino.en_US
dc.description.tableofcontentsFormal 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. . ;en_US
dc.format.extentXVI, 347 p. 78 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ;en_US
dc.relation.haspart9783319941103.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectAlgorithmsen_US
dc.subjectComputer logic. ;en_US
dc.subjectMathematical logic. ;en_US
dc.subjectComputer simulation. ;en_US
dc.subjectComputer Scienceen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectSimulation and Modeling. ;en_US
dc.subjectMathematical Logic and Formal Languages. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ;en_US
dc.subjectLogics and Meanings of Programs. ;en_US
dc.subject.lccQA76.758 ;en_US
dc.titleModel Checking Softwareen_US
dc.title.alternative25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319941103.pdf10.48 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorGallardo, Marea del Mar. ;en_US
dc.contributor.authorMerino, Pedro. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:20:00Z-
dc.date.available2020-05-17T08:20:00Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319941110 ;en_US
dc.identifier.isbn9783319941103 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/647-
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionPrinted edition: ; 9783319941103. ;en_US
dc.description005.1 ; 23 ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis 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. . ;en_US
dc.description.statementofresponsibilityedited by Marea del Mar Gallardo, Pedro Merino.en_US
dc.description.tableofcontentsFormal 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. . ;en_US
dc.format.extentXVI, 347 p. 78 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ;en_US
dc.relation.haspart9783319941103.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectAlgorithmsen_US
dc.subjectComputer logic. ;en_US
dc.subjectMathematical logic. ;en_US
dc.subjectComputer simulation. ;en_US
dc.subjectComputer Scienceen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectSimulation and Modeling. ;en_US
dc.subjectMathematical Logic and Formal Languages. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ;en_US
dc.subjectLogics and Meanings of Programs. ;en_US
dc.subject.lccQA76.758 ;en_US
dc.titleModel Checking Softwareen_US
dc.title.alternative25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319941103.pdf10.48 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorGallardo, Marea del Mar. ;en_US
dc.contributor.authorMerino, Pedro. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:20:00Z-
dc.date.available2020-05-17T08:20:00Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319941110 ;en_US
dc.identifier.isbn9783319941103 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/647-
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionPrinted edition: ; 9783319941103. ;en_US
dc.description005.1 ; 23 ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractThis 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. . ;en_US
dc.description.statementofresponsibilityedited by Marea del Mar Gallardo, Pedro Merino.en_US
dc.description.tableofcontentsFormal 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. . ;en_US
dc.format.extentXVI, 347 p. 78 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ;en_US
dc.relation.haspart9783319941103.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectAlgorithmsen_US
dc.subjectComputer logic. ;en_US
dc.subjectMathematical logic. ;en_US
dc.subjectComputer simulation. ;en_US
dc.subjectComputer Scienceen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectSimulation and Modeling. ;en_US
dc.subjectMathematical Logic and Formal Languages. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ;en_US
dc.subjectLogics and Meanings of Programs. ;en_US
dc.subject.lccQA76.758 ;en_US
dc.titleModel Checking Softwareen_US
dc.title.alternative25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319941103.pdf10.48 MBAdobe PDFThumbnail
Preview File