Vai al contenuto principale della pagina
Titolo: | Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / / edited by María del Mar Gallardo, Pedro Merino |
Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Edizione: | 1st ed. 2018. |
Descrizione fisica: | 1 online resource (XVI, 347 p. 78 illus.) |
Disciplina: | 005.14 |
Soggetto topico: | Software engineering |
Compilers (Computer programs) | |
Computer simulation | |
Machine theory | |
Algorithms | |
Computer science | |
Software Engineering | |
Compilers and Interpreters | |
Computer Modelling | |
Formal Languages and Automata Theory | |
Computer Science Logic and Foundations of Programming | |
Persona (resp. second.): | GallardoMaría del Mar |
MerinoPedro | |
Nota di bibliografia: | Includes bibliographical references and index. |
Nota di contenuto: | 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. . |
Sommario/riassunto: | 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. . |
Titolo autorizzato: | Model Checking Software |
ISBN: | 3-319-94111-9 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910349432503321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |