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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Cavalheiro, Simone (Editor), Fiadeiro, José (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10623
• Subjects: Computer science.; Computer system failures.; Software engineering.; Computers.; Computer simulation.; Computer Science.; Software Engineering.; Theory of Computation.; Simulation and Modeling.; The Computing Profession.; System Performance and Evaluation.

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

Table of Contents:

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