Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
tarafından
Gallardo, María del Mar. editor.
Başlık
:
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Yazar
:
Gallardo, María del Mar. editor.
ISBN
:
9783319941110
Edisyon
:
1st ed. 2018.
Fiziksel Niteleme
:
XVI, 347 p. 78 illus. online resource.
Seri
:
Theoretical Computer Science and General Issues ; 10869
İçindekiler
:
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. .
Özet
:
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. .
Konu Başlığı
:
Software engineering.
Computer science.
Computer simulation.
Computer software.
Logic design.
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
Simulation and Modeling. http://scigraph.springernature.com/things/product-market-codes/I19000
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market-codes/I16021
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
Yazar Ek Girişi
:
Gallardo, María del Mar.
Merino, Pedro.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 224744-1001 | QA76.758 | Springer E-Book Collection |