Title Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / María del Mar Gallardo, Pedro Merino (eds.)

Published Cham, Switzerland : Springer, 2018

Click on the following:
Springer Computer Science eBooks
Springer eBooks

Copies

Description 1 online resource (xvi, 347 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 10869 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 10869. 0302-9743 LNCS sublibrary. SL 1, Theoretical computer science and general issues. 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 Summary 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 Notes International conference proceedings Includes author index Online resource; title from PDF title page (SpringerLink, viewed June 20, 2018) SUBJECT SPIN (Computer file) -- Congresses SPIN (Computer file) fast Subject Computer software -- Verification -- Congresses Software engineering -- Congresses Computer software -- Testing -- Congresses Programming & scripting languages: general. Computer modelling & simulation. Mathematical theory of computation. Algorithms & data structures. Computer programming -- software development. Software Engineering. Computers -- Programming Languages -- General. Computers -- Computer Simulation. Mathematics -- Logic. Computers -- Programming -- Algorithms. Computers -- Programming -- General. Computers -- Software Development & Engineering -- General. Computer software -- Testing Computer software -- Verification Software engineering Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Gallardo, María del Mar, editor Merino, Pedro, editor. ISBN 9783319941110 3319941119

Other Titles SPIN 2018

  Permalink