Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

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.

List of contents

Formal methods integration and experience reports.- Model checking.- Refinement and verification.- Semantics and languages.

Summary

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.

Product details

• Assisted by: Simone Cavalheiro (Editor), José Fiadeiro (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 12.11.2017
• EAN: 9783319708478
• ISBN: 978-3-31-970847-8
• No. of pages: 305
• Dimensions: 155 mm x 18 mm x 235 mm
• Weight: 482 g
• Illustrations: X, 305 p. 101 illus.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, Informationstechnik (IT), allgemeine Themen, Computermodellierung und -simulation, Theoretische Informatik, Systemanalyse und -design, computer science, Theory of Computation, Systems analysis & design, Computers, Mathematical theory of computation, Information technology: general issues, Computer simulation, Computer modelling & simulation, Simulation and Modeling, Computer system failures, System Performance and Evaluation, Semantics, The Computing Profession, Computer certification, Computer Modelling, programming languages, formal logic