Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Software Development, General Computing
Cover of the book Formal Methods: Foundations and Applications by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319708485
Publisher: Springer International Publishing Publication: November 17, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319708485
Publisher: Springer International Publishing
Publication: November 17, 2017
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.

The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.

The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.

The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.

The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

More books from Springer International Publishing

Cover of the book Machining of Bone and Hard Tissues by
Cover of the book Metrology and Physical Mechanisms in New Generation Ionic Devices by
Cover of the book Study of the Electroweak Symmetry Breaking Sector for the LHC by
Cover of the book Renewable Energy for Unleashing Sustainable Development by
Cover of the book Political, Economic and Financial Country Risk by
Cover of the book Design and Analysis of Experiments by
Cover of the book Stability of Functional Equations in Banach Algebras by
Cover of the book Superconductivity by
Cover of the book Arterial Chemoreceptors in Physiology and Pathophysiology by
Cover of the book Intelligent Soil Management for Sustainable Agriculture by
Cover of the book Interpreting Health Benefits and Risks by
Cover of the book Artificial Intelligence and Security by
Cover of the book The Analysis of Nuclear Materials and Their Environments by
Cover of the book Nuclear Structure with Coherent States by
Cover of the book Intracellular Delivery III by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy