Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / / edited by María del Mar Gallardo, Pedro Merino
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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 |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 10869