Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings / [electronic resource] : edited by Simone Cavalheiro, José Fiadeiro. - 1st ed. 2017. - X, 305 p. 101 illus. online resource. - Programming and Software Engineering, 10623 2945-9168 ; . - Programming and Software Engineering, 10623 .

Formal methods integration and experience reports -- Model checking -- Refinement and verification -- 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.

9783319708485

10.1007/978-3-319-70848-5 doi


Software engineering.
Computer science.
Computer simulation.
Computers.
Professions.
Electronic digital computers--Evaluation.
Software Engineering.
Theory of Computation.
Computer Modelling.
The Computing Profession.
System Performance and Evaluation.

QA76.758

005.1