Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings / Brijesh Dongol, Elena Troubitsyna (eds.).
2020
QA76.9.F67
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings / Brijesh Dongol, Elena Troubitsyna (eds.).
ISBN
9783030634612 electronic book
3030634612 electronic book
9783030634605
3030634612 electronic book
9783030634605
Published
Cham : Springer, [2020]
Language
English
Description
1 online resource (xi, 461 pages) : illustrations (some color).
Item Number
10.1007/978-3-030-63461-2 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
006.3
006.3
Summary
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.
Note
International conference proceedings.
"This volume contains the papes presented at the 16th International Conference on integrated Formal Methods (iFM 2020), which has taken place virtually due to the COVID-19 pandemic"--Preface.
Includes author index.
"This volume contains the papes presented at the 16th International Conference on integrated Formal Methods (iFM 2020), which has taken place virtually due to the COVID-19 pandemic"--Preface.
Includes author index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file
PDF
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed January 25, 2021).
Series
Lecture notes in computer science ; 12546.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form
3030634604
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
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.
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.