Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.
The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

Summary

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.
The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

Product details

• Assisted by: Lecomte (Editor), Lecomte (Editor), Thierry Lecomte (Editor), Leil Ribeiro (Editor), Leila Ribeiro (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.2016
• EAN: 9783319498140
• ISBN: 978-3-31-949814-0
• No. of pages: 253
• Dimensions: 184 mm x 16 mm x 239 mm
• Weight: 425 g
• Illustrations: X, 253 p. 62 illus.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering; Springer; Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, Wirtschaftsmathematik und -informatik, IT-Management, Computermodellierung und -simulation, Theoretische Informatik, Compiler und Übersetzer, computer science, Logics and Meanings of Programs, Management of Computing and Information Systems, IT Operations, Programming Languages, Compilers, Interpreters, Maintenance & repairs, information architecture, Management information systems, Mathematical theory of computation, Computer programming / software engineering, Computer simulation, Computer modelling & simulation, Simulation and Modeling, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computer Science Logic and Foundations of Programming, Computer Modelling, Formal Languages and Automata Theory, Compilers and Interpreters