Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
by
Gallardo, María del Mar. editor.
Title
:
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Author
:
Gallardo, María del Mar. editor.
ISBN
:
9783319941110
Physical Description
:
XVI, 347 p. 78 illus. online resource.
Series
:
Theoretical Computer Science and General Issues ; 10869
Contents
:
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. .
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. .
Subject Term
:
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
Added Author
:
Gallardo, María del Mar.
Merino, Pedro.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | Status |
---|
IYTE Library | E-Book | 2085871-1001 | QA76.758 | Online Springer |