Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11800)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): FM: International Symposium on Formal Methods
Conference proceedings info: FM 2019.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (46 papers)
-
Front Matter
-
Invited Presentations
-
Front Matter
-
-
Verification
-
Front Matter
-
-
Synthesis Techniques
-
Front Matter
-
-
Model Checking Circus
-
Front Matter
-
Other Volumes
-
Formal Methods – The Next 30 Years
About this book
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.
The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.
Keywords
- architecture
- artificial intelligence
- computer architecture
- computer programming
- data security
- databases
- formal logic
- formal methods
- formal verifications
- model checking
- problem solving
- programming languages
- semantics
- software engineering
- software evaluation
- specifications
- theorem proving
- verification
- algorithm analysis and problem complexity
Editors and Affiliations
-
Consiglio Nazionale delle Ricerche, Pisa, Italy
Maurice H. ter Beek
-
Macquarie University, Sydney, Australia
Annabelle McIver
-
University of Minho, Braga, Portugal
José N. Oliveira
Bibliographic Information
Book Title: Formal Methods – The Next 30 Years
Book Subtitle: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Editors: Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-30942-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-30941-1Published: 15 September 2019
eBook ISBN: 978-3-030-30942-8Published: 23 September 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXI, 774
Number of Illustrations: 1596 b/w illustrations, 92 illustrations in colour
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Artificial Intelligence