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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cavalheiro, Simone (Επιμελητής έκδοσης), Fiadeiro, José (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Lecture Notes in Computer Science, 10623
• Θέματα: 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.

Πίνακας περιεχομένων:

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