Formal Methods: Foundations and Applications :
Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings /
edited by Simone Cavalheiro, José Fiadeiro.
- 1st ed. 2017.
- 1 Electronic resource (1 volume)
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
2019745132
Computer simulation.
Computer system failures.
Computers.
Software engineering.
Simulation and Modeling.
System Performance and Evaluation.
The Computing Profession.
Theory of Computation.
005.1 FOR 2017
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
2019745132
Computer simulation.
Computer system failures.
Computers.
Software engineering.
Simulation and Modeling.
System Performance and Evaluation.
The Computing Profession.
Theory of Computation.
005.1 FOR 2017