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 Introduction to Hybrid Intelligent Networks by
Cover of the book Intelligent Data Engineering and Automated Learning – IDEAL 2016 by
Cover of the book Advanced Microsystems for Automotive Applications 2015 by
Cover of the book Complex Networks X by
Cover of the book Controversies in Cardiology by
Cover of the book Proceedings of the Third International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’18) by
Cover of the book Optimizing Liner Shipping Fleet Repositioning Plans by
Cover of the book Cultural Landscape Management at Borobudur, Indonesia by
Cover of the book An Introduction to Zooarchaeology by
Cover of the book The Musical-Mathematical Mind by
Cover of the book Sustainable Aquaculture by
Cover of the book Simulated Evolution and Learning by
Cover of the book Seaports in International Law by
Cover of the book Public-Key Cryptography – PKC 2019 by
Cover of the book Conductors, Semiconductors, Superconductors 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