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. - Programming and Software Engineering ; 10623 .

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

Available to subscribing member institutions only. Доступно лише організаціям членам підписки.

Анотація:
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

ISBN: 9783319708485

Standard No.: 10.1007/978-3-319-70848-5 doi

Subjects--Topical Terms:
Software engineering.
Computers.
Computer simulation.
Computer system failures.
Software Engineering.
Theory of Computation.
Simulation and Modeling.
The Computing Profession.
System Performance and Evaluation.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1