Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/647
| Title: | Model Checking Software |
| Other Titles: | 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / |
| Authors: | Gallardo, Marea del Mar. ;;Merino, Pedro. ; |
| subject: | Computer Science;Software Engineering;Programming Languages and Electronic Computers;Algorithms;Computer logic. ;;Mathematical logic. ;;Computer simulation. ;;Computer Science;Software Engineering;Programming Languages and Compilers and Interpreters;Simulation and Modeling. ;;Mathematical Logic and Formal Languages. ;;Algorithm Analysis and Problem Complexity. ;;Logics and Meanings of Programs. ;;QA76.758 ; |
| Year: | 2018 |
| place: | Cham : |
| Publisher: | Springer International Publishing : Imprint: Springer, |
| Series/Report no.: | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ; |
| Abstract: | 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. . ; |
| Description: | SpringerLink (Online service) ; Printed edition: ; 9783319941103. ; 005.1 ; 23 ; |
| URI: | http://localhost/handle/Hannan/647 |
| ISBN: | 9783319941110 ; 9783319941103 (print) ; |
| More Information: | XVI, 347 p. 78 illus. ; online resource. ; |
| Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319941103.pdf | 10.48 MB | Adobe PDF |  Preview File |
| Title: | Model Checking Software |
| Other Titles: | 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / |
| Authors: | Gallardo, Marea del Mar. ;;Merino, Pedro. ; |
| subject: | Computer Science;Software Engineering;Programming Languages and Electronic Computers;Algorithms;Computer logic. ;;Mathematical logic. ;;Computer simulation. ;;Computer Science;Software Engineering;Programming Languages and Compilers and Interpreters;Simulation and Modeling. ;;Mathematical Logic and Formal Languages. ;;Algorithm Analysis and Problem Complexity. ;;Logics and Meanings of Programs. ;;QA76.758 ; |
| Year: | 2018 |
| place: | Cham : |
| Publisher: | Springer International Publishing : Imprint: Springer, |
| Series/Report no.: | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ; |
| Abstract: | 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. . ; |
| Description: | SpringerLink (Online service) ; Printed edition: ; 9783319941103. ; 005.1 ; 23 ; |
| URI: | http://localhost/handle/Hannan/647 |
| ISBN: | 9783319941110 ; 9783319941103 (print) ; |
| More Information: | XVI, 347 p. 78 illus. ; online resource. ; |
| Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319941103.pdf | 10.48 MB | Adobe PDF | Preview File |
| Title: | Model Checking Software |
| Other Titles: | 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / |
| Authors: | Gallardo, Marea del Mar. ;;Merino, Pedro. ; |
| subject: | Computer Science;Software Engineering;Programming Languages and Electronic Computers;Algorithms;Computer logic. ;;Mathematical logic. ;;Computer simulation. ;;Computer Science;Software Engineering;Programming Languages and Compilers and Interpreters;Simulation and Modeling. ;;Mathematical Logic and Formal Languages. ;;Algorithm Analysis and Problem Complexity. ;;Logics and Meanings of Programs. ;;QA76.758 ; |
| Year: | 2018 |
| place: | Cham : |
| Publisher: | Springer International Publishing : Imprint: Springer, |
| Series/Report no.: | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10869. ; |
| Abstract: | 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. . ; |
| Description: | SpringerLink (Online service) ; Printed edition: ; 9783319941103. ; 005.1 ; 23 ; |
| URI: | http://localhost/handle/Hannan/647 |
| ISBN: | 9783319941110 ; 9783319941103 (print) ; |
| More Information: | XVI, 347 p. 78 illus. ; online resource. ; |
| Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319941103.pdf | 10.48 MB | Adobe PDF | Preview File |