Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / / edited by Brijesh Dongol, Elena Troubitsyna
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / / edited by Brijesh Dongol, Elena Troubitsyna
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Edizione: | 1st ed. 2020. |
| Descrizione fisica: | 1 online resource (XI, 461 p. 1045 illus., 64 illus. in color.) |
| Disciplina: | 004.0151 |
| Soggetto topico: | Software engineering |
| Logic programming | |
| Natural language processing (Computer science) | |
| Microprogramming | |
| Computers, Special purpose | |
| Computer systems | |
| Software Engineering | |
| Logic in AI | |
| Natural Language Processing (NLP) | |
| Control Structures and Microprogramming | |
| Special Purpose and Application-Based Systems | |
| Computer System Implementation | |
| Persona (resp. second.): | DongolBrijesh |
| TroubitsynaElena <1970-> (Elena A.) | |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Integrating Machine Learning and Formal Modelling -- Modelling and Verification in B and Event-B -- Program Analysis and Testing -- Verification of Interactive Behaviour -- Formal Verification -- Static Analysis -- Domain-Specific Approaches -- Algebraic Techniques. |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques. |
| Titolo autorizzato: | Integrated Formal Methods |
| ISBN: | 3-030-63461-2 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910427673203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering, . 2945-9168 ; ; 12546