Model Checking Software [[electronic resource] ] : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / / edited by María del Mar Gallardo, Pedro Merino |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 347 p. 78 illus.) |
Disciplina | 005.14 |
Collana | Theoretical Computer Science and General Issues |
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 |
ISBN | 3-319-94111-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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. . |
Record Nr. | UNISA-996465687503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / / edited by María del Mar Gallardo, Pedro Merino |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 347 p. 78 illus.) |
Disciplina | 005.14 |
Collana | Theoretical Computer Science and General Issues |
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 |
ISBN | 3-319-94111-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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. . |
Record Nr. | UNINA-9910349432503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|