Formal Methods – The Next 30 Years: Third World Congress

Formal Methods – The Next 30 Years: Third World Congress

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.




This website strictly complies with DMCA Digital Copyright Laws.. Please be clear that we ( do not own copyrights of these e-books. The intention behind sharing these books and educational material is to provide easy access to students, researchers and other readers who don't have access to these books at their local libraries, "thus only for educational purpose". We highly encourage our readers to purchase this content from the respected publishers. If anyone holding copyrights wants us to remove this content, please contact us rightaway. All books and educational material on are free and NOT HOSTED ON OUR WEBSITE. If you feel that your copyrights have been violated, then please contact us immediately. You may send an email to for all DMCA / Removal Requests. doesn’t have any material hosted on the server of this page, only links to books that are taken from other sites on the web are published and these links are unrelated to the book server. server doesnot store any type of book or material. No illegal copies are made or any copyright © and / or copyright is damaged or infringed since all material is free on the internet.

Add a Comment