Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / María del Mar Gallardo, Pedro Merino (eds.).
Contributor(s): Gallardo, María del Mar [editor.] | Merino, Pedro [editor.]Material type: TextSeries: SerienbezeichnungLecture notes in computer science: 10869.; LNCS sublibrary: Publisher: Cham, Switzerland : Springer, 2018Description: 1 online resource (xvi, 347 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783319941110; 3319941119Other title: SPIN 2018Subject(s): SPIN (Computer file) -- Congresses | SPIN (Computer file) | Computer software -- Verification -- Congresses | Software engineering -- Congresses | Computer software -- Testing -- Congresses | Computers -- Programming Languages -- General | Computers -- Computer Simulation | Mathematics -- Logic | Computers -- Programming -- Algorithms | Computers -- Programming -- General | Programming & scripting languages: general | Computer modelling & simulation | Mathematical theory of computation | Algorithms & data structures | Computer programming -- software development | Computers -- Software Development & Engineering -- General | Software Engineering | Computer software -- Testing | Computer software -- Verification | Software engineeringGenre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Printed edition:: No titleDDC classification: 005.1/4 LOC classification: QA76.76.V47Online resources: Click here to access online
|Item type||Current location||Collection||Call number||Status||Date due||Barcode||Item holds|
International conference proceedings.
Includes author index.
Online resource; title from PDF title page (SpringerLink, viewed June 20, 2018).
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.